Лямбда-числення: відмінності між версіями

Перейти до навігації Перейти до пошуку
[перевірена версія][перевірена версія]
(вікіфікація)
== Визначення лямбда-виразів ==
 
Множину λ-виразів можна{{кому}} визначити індуктивно таким чином<ref> M.H. Sorensen and P. Urzyczyn «Lectures on the Curry-Howard Isomorphism» (2006) </ref>:
 
* будь-яка ''змінна''&nbsp;— це λ-вираз;