Вікіпедія

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

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