"Category Theory and Computer Science, 4 conf" - читать интересную книгу автора (David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel...)