113
правок
Изменения
См. также статью про лямбда куб
* [https://github.com/shd/logic2011 Д. Штукенберг. Лекции по математической логике]
* [https://github.com/artemohanjanyan/tt-conspect Конспект лекций по теории типов]
* Henk Barendregt, Introduction to generalized type systems
==Источники информации==
