Соответствие Карри — Ховарда: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
м Бот: замена устаревшего математического синтаксиса в соответствии с mw:Extension:Math/Roadmap |
Pilot Ang (обсуждение | вклад) Нет описания правки |
||
Строка 103:
[[Категория:Математическая логика]]
[[Категория:Лямбда-исчисление]]
[[Категория:Программирование с зависимыми типами]]
| |||