"Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel...)