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

Материал из Викиконспекты
Версия от 17:27, 17 января 2017; Artemohanjanyan (обсуждение | вклад) (Новая страница: «=Неразрешимость задачи вывода типов в языке с зависимыми типами=»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Неразрешимость_задачи_вывода_типов_в_языке_с_зависимыми_типами&oldid=59793»