Изменения

Лямбда-исчисление

72 байта добавлено, 04:08, 10 января 2015

Нет описания правки

==Источники==

* Lectures on the Curry Howard - Isomorphism

*[https://github.com/shd/tt2014 Д. Штукенберг. Лекции]

*[http://en.wikipedia.org/wiki/Lambda-calculus Английская Википедия]

*[http://ru.wikipedia.org/wiki/%D0%9B%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5 Русская Википедия]

Анонимный участник