1.

電子ブック
ＥＢ
1. Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: http://dx.doi.org/10.1007/3-540-60164-3
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