| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings | Taschenbuch | 978-3-540-42672-1 | 2008 | Antonio Restivo · Luca Roversi |
| The Parametric Lambda Calculus: A Metamodel for Computation | " | 978-3-642-05746-5 | 2010 | |
| The Parametric Lambda Calculus: A Metamodel for Computation | Gebunden | 978-3-540-20032-1 | 2004 | Luca Paolini |
| Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings | Taschenbuch | 978-3-540-73227-3 | 2007 | |
(D-R) · D. Rocca · R.D. · R.R. · S D · S R · S. Rocca · S. Ronchi · S. Ronchi Della Rocca