| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Domains and Lambda Calculi | 978-0-521-06292-3 (0-521-06292-6) | 2008 | |
| Domains and Lambda-Calculi | 978-0-521-62277-6 (0-521-62277-8) | 1998 | Pierre-Louis Curien |
Amadio Roberto M. · M.A. · R. A. · R. M. · R.M.A. · Roberto Amadio