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

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