| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings | 978-O-387-17184-5 (O-387-17184-3) | 1986 | Guy · Curien, P.L. Cousineau |