Изменения

Неразрешимость задачи вывода типов в языке с зависимыми типами

60 байт добавлено, 22:20, 17 января 2017

См. также статью про лямбда куб

* [https://github.com/shd/logic2011 Д. Штукенберг. Лекции по математической логике]

* [https://github.com/artemohanjanyan/tt-conspect Конспект лекций по теории типов]

* Henk Barendregt, Introduction to generalized type systems

==Источники информации==

113

правок