| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Computation and Reasoning - A Type Theory for Computer Science | Hardcover | 978-0-19-853835-6 | 1994 | ||
| Formal Semantics in Modern Type Theories | Digital | 978-1-119-48922-1 | 2019 | Stergios Chatzikyriakidis | |
| Modern Perspectives in Type-Theoretical Semantics | Taschenbuch | 978-3-319-84397-1 | 2018 | " | |
| Modern Perspectives in Type-Theoretical Semantics | Gebunden | 978-3-319-50420-9 | 2017 | " | |
| Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers | Taschenbuch | 978-3-540-43287-6 | 2008 | Robert Pollack · Paul Callaghan · James McKinna | |
Z. Lee · Z. Li · Z Liu · Z. Lu · Zehou Li · Zhao Li · Zhao Lio · ZHAO LU · Zhaohui Liu · Zhe Li · Zhe Liu · Zhe Luo · Zhi Li · Zhi Lu · Zhihua Lu · Zhihua Lü · Zhihui Lai · Zhiwei Li · Zhiwei Liu · Zhiwei Lu · Zhiwu Li · Zhou La · Zhou Li · zhou lu · Zhu Li · Zhu Lihui · Zhu Liu · Zhuo Li · Zhuo Lu · Zhuoyao Li · Zi Lao · Zihao Li · Zihua Liu · Zou Lei · Zuowei Liu · Zuyi Li
Oxford University Press · Springer · Wiley