Combinators and Functional Programming Languages:
Thirteenth Spring School of the LITP, Val D'Ajol, France, May 6-10, 1985, Proceedings

by B. Robinet, P.L. Curien, Guy Cousineau