This is the alphabetically ordered list of books of this author on
'Combinatory logic -- Congresses' subject
(click to see subject information and books of other authors).
Combinators and functional programming languages
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
Publisher: Berlin ; Springer-Verlag, c1986
ISBN: 0387171843
DDC: 5.133
LCC: QA76.7
Edition: (U.S. : pbk.)
Combinators and functional programming languages
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
Publisher: Berlin ; Springer-Verlag, c1986.
ISBN: 3540171843
DDC: 5.133
LCC: QA76.7