| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Formal Semantics in Modern Type Theories | Digital | 978-1-119-48922-1 (1-119-48922-9) | 2019 | Zhaohui Luo | |
| Modern Perspectives in Type-Theoretical Semantics | Taschenbuch | 978-3-319-84397-1 (3-319-84397-4) | 2018 | " | |
| Modern Perspectives in Type-Theoretical Semantics | Gebunden | 978-3-319-50420-9 (3-319-50420-7) | 2017 | " |