Изменения

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

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

→‎См. также

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

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

* [[Примеры неразрешимых задач: проблема соответствий Поста]]

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

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

113

правок