Изменения
Нет описания правки
==Источники==
* 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 Русская Википедия]