Forgotten Books · Trieste Publishing
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| A Simple Lambda-Calculus Model of Programming Languages | 978-1-5284-5312-7 (1-5284-5312-3) | 2018 |
| A simple lambda-calculus model of programming languages | 978-1-76057-649-3 (1-76057-649-2) | 2018 |