A.M. · A. R. · R. M. · Roberto M. Amadio
| 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 | Curien Pierre-Louis |
| Domains and Lambda Calculi | 978-0-521-62277-6 (0-521-62277-8) | 1998 | " |