Информация о статье
2009 г., Том 14, № 1, с.3-6
Марикян Г.
Исследования по теории типов Мартин-Лефа
В статье представлено краткое описание способа построения алгоритма автоматизированной генерации выводов в теории типов Мартина-Лефа.
[полный текст] Ключевые слова: теория типов, автоматизация вывода
Библиографическая ссылка: Марикян Г. Исследования по теории типов Мартин-Лефа // Вычислительные технологии. 2009. Т. 14. № 1. С. 3-6
|
|
|