Соответствие Карри — Ховарда: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
KrBot (обсуждение | вклад) м + {{нет категорий}}, + {{изолированная статья}} |
Deniok (обсуждение | вклад) добавил Категорию Теория типов |
||
Строка 107:
</references>
[[Категория:Теория типов]]
{{изолированная статья}}
|