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. Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 242
オンライン: http://dx.doi.org/10.1007/3-540-17184-3