Соответствие Карри — Ховарда: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Deniok (обсуждение | вклад) добавил Категорию Теория типов |
Deniok (обсуждение | вклад) Проставил ссылки из Coq и Зависимых типов, убрал изолированность |
||
Строка 108:
[[Категория:Теория типов]]
[[ca:Correspondència Curry-Howard]]
| |||