Страницы, ссылающиеся на «Зависимый тип»
Перейти к навигации
Перейти к поиску
Следующие страницы ссылаются на Зависимый тип:
Показано 11 элементов.
- Язык программирования (← ссылки)
- Coq (← ссылки)
- Лямбда-куб (← ссылки)
- Основания математики (← ссылки)
- Воеводский, Владимир Александрович (← ссылки)
- Параметрический полиморфизм (← ссылки)
- Гомотопическая теория типов (← ссылки)
- Функциональный тип (← ссылки)
- Язык модулей ML (← ссылки)
- Исчисление секвенций (← ссылки)
- Исчисление конструкций (← ссылки)