Декартово замкнутая категория: различия между версиями

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