Изменения

Перейти к: навигация, поиск

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

118 байт добавлено, 17:27, 17 января 2017
Новая страница: «=Неразрешимость задачи вывода типов в языке с зависимыми типами=»
=Неразрешимость задачи вывода типов в языке с зависимыми типами=
Artemohanjanyan
113
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/59793»

Навигация