Z
Zhaohui Luo
7 works on record
Works
Types for proofs and programs
Modern Perspectives in Type-Theoretical Semantics
Computation and reasoning
Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
CC and its meta theory
CC and its meta theory
A higher-order calculus and theory abstraction
A higher-order calculus and theory abstraction
Dong fang fo jiao wen hua
Dong fang fo jiao wen hua