1.

電子ブック
ＥＢ
1. Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings
edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 530
オンライン: http://dx.doi.org/10.1007/BFb0013452
2.

電子ブック
ＥＢ
2. Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings
edited by David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 240
オンライン: http://dx.doi.org/10.1007/3-540-17162-2