Страницы, ссылающиеся на «Интуиционистская теория типов»
Перейти к навигации
Перейти к поиску
Помните, что при определении статей-сирот учитываются не все ссылки, ведущие на статью. |
- Инструменты
- Количество ссылок
Следующие страницы ссылаются на «Интуиционистская теория типов»:
Показано 24 элемента.
- Язык программирования (← ссылки | править)
- Функциональное программирование (← ссылки | править)
- Парадокс Рассела (← ссылки | править)
- Основания математики (← ссылки | править)
- Воеводский, Владимир Александрович (← ссылки | править)
- Мартин-Лёф, Пер (← ссылки | править)
- Зависимый тип (← ссылки | править)
- Agda (← ссылки | править)
- Параметрический полиморфизм (← ссылки | править)
- Гомотопическая теория типов (← ссылки | править)
- Кокан, Тьерри (← ссылки | править)
- Тип-произведение (← ссылки | править)
- Тип-сумма (← ссылки | править)
- Драгалин, Альберт Григорьевич (← ссылки | править)
- Интуиционизм (← ссылки | править)
- Логика высшего порядка (← ссылки | править)
- ИТТ (← ссылки | править)
- Исчисление конструкций (← ссылки | править)
- Участник:Pilot Ang (← ссылки | править)
- Обсуждение участника:Bezik/Архив/2014 (← ссылки | править)
- Обсуждение участника:ServantofIesus (← ссылки | править)
- Проект:Математика/Списки/Список статей по математической логике (← ссылки | править)
- Проект:Информационные технологии/Программирование/Статьи (← ссылки | править)
- Проект:Математика/Списки/Глоссарий областей математики (← ссылки | править)