1.

図書
図書
1. Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (: gw ; : us)
edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 242
所蔵情報: 図書館
2.

図書
図書
2. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings (: gw ; : us)
edited by M. Paul and B. Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 167
所蔵情報: 図書館
3.

図書
図書
3. International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (: gw ; : us)
edited by B. Robinet
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 83
所蔵情報: 図書館
4.

図書
図書
4. Programming Symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (: gw ; : us)
edited by B. Robinet
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 19
所蔵情報: 図書館