Лямбда-числення: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м →Визначення лямбда-виразів: +кому? |
|||
Рядок 7:
== Визначення лямбда-виразів ==
Множину λ-виразів можна{{кому}} визначити індуктивно таким чином <ref> M.H. Sorensen and P. Urzyczyn "Lectures on the Curry-Howard Isomorphism" (2006) </ref>:
* будь-яка ''змінна'' — це λ-вираз;
|