Лямбда-числення: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Секіші (обговорення | внесок) мНемає опису редагування |
|||
Рядок 34:
* Henk Barendregt, The Bulletin of Symbolic Logic, Volume 3, Number 2, June 1997. The Impact of the Lambda Calculus in Logic and Computer Science
* {{cite book|назва=
== Дивіться також ==
|