Zhaohui Luo

Boeken

Formal Semantics in Modern Type Theories Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
2020
Modern Perspectives in Type-Theoretical Semantics Modern Perspectives in Type-Theoretical Semantics
Modern Perspectives in Type-Theoretical Semantics
2017