|
Ten artykuł od 2021-02 wymaga zweryfikowania podanych informacji.Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.Sprawdź w źródłach:
Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
Konwersja α – operacja w rachunku lambda polegająca
na zamianie zmiennej określanej przez lambdę oraz wszystkich jej wystąpień
w wyrażeniu pod lambdą, na inną, nie kolidującą z żadną z lambd zewnętrznych lub wewnętrznych.
Przykłady prawidłowych konwersji α:
Przykłady nieprawidłowych konwersji α:
Konwersja α jest trywialna, jest jednak ważna, gdyż pozwala unikać kolizji zmiennych.
Zobacz też