Декартово замкнутая категория: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Хацкер (обсуждение | вклад) м будем проще.. |
Claymore (обсуждение | вклад) →Литература: -, категория |
||
Строка 22:
== Литература ==
* ''Curien P.-L.'' Categorical combinatory logic.-- LNCS, 194, 1985, pp.~139-151.
* ''Roy L. Crole'', Categories for Types, Cambridge University Press, 1994.
[[Категория:Теория категорий]]
|