"Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Eugenio Moggi, Giuseppe Rosolini)