Otwórz menu główne

Konwersja α to 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żEdytuj