Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. J. Adámek, H. Herrlich, and G. E. Strecker, Abstract and concrete categories, Wiley, New York, 1990.
2. Lect Notes Comput Sci;D. Aspinall,1995
3. F. Borceux, Handbook of categorical algebra 1, Cambridge, 1994.
4. R. L. Crole, Categories for types, Cambridge, 1994.
5. P.-L. Curien, Categorical combinators, sequential algorithms, and functional programming. 2nd ed., Birkhäuser, Boston, 1993.