Изменения

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

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

→‎См. также

==См. также==

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

* [[Математическая логика]]

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

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

113

правок