konwersja α 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
zamiana zmiennej określanej przez lambdę oraz wszystkich jej wystąpień w wyrażeniu pod lambdą na inną, niekolidującą z żadną z lambd zewnętrznych lub wewnętrznych.
