Cambridge University Press · Springer
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings | Taschenbuch | 978-3-540-54495-1 | 2008 | Andrew M. Pitts · Axel Poigne · David H. Pitt · David E. Rydeheard | |
| Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings | " | 978-3-540-17184-3 | 2008 | Guy Cousineau · Bernard Robinet | |
| Domains and Lambda-Calculi | Paperback | 978-0-521-06292-3 | 2008 | Roberto M. Amadio | |
| Domains and Lambda-Calculi | Hardcover | 978-0-521-62277-6 | 1998 | " | |
| Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings | Taschenbuch | 978-3-642-02272-2 | 2009 | ||
Curien Pierre-Louis · L. C. · P. C. · P. L. Curien · P. Louis · Pierre Louis