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 Science : Manchester, UK, September 5–8, 1989 Proceedings
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: http://dx.doi.org/10.1007/BFb0018340
3.

電子ブック
ＥＢ
3. Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings
edited by David H. Pitt, Axel Poigné, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 283
オンライン: http://dx.doi.org/10.1007/3-540-18508-9
4.

電子ブック
ＥＢ
4. 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