Декартово замкнутая категория: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
VEW (обсуждение | вклад) |
VEW (обсуждение | вклад) |
||
Строка 20:
[[en: Curien P.-L. Categorical combinatory logic.-- LNCS, 194, 1985, pp.~139-151.]]
[[en:Cartesian closed category]]
| |||