Страницы, ссылающиеся на «Просто типизированное лямбда-исчисление»
Следующие страницы ссылаются на Просто типизированное лямбда-исчисление:
Показано 11 элементов.
- Юэ, Жерар (← ссылки)
- Примитивно рекурсивный функционал (← ссылки)
- Зависимый тип (← ссылки)
- Конструктор типов (← ссылки)
- Род (теория типов) (← ссылки)
- Система F (← ссылки)
- Соответствие Карри — Ховарда (← ссылки)
- Функциональный тип (← ссылки)
- Типизированное лямбда-исчисление (← ссылки)
- Лямбда-куб (← ссылки)
- Декартово замкнутая категория (← ссылки)