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, and Bernard Robinet.
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A3130
国立国会図書館書誌ID
000003138206
資料種別
図書
著者
Ecole de printemps d'informatique théorique (13th : 1985 : Le Val d'Ajol, France)ほか