Zhaohui Luo profile picture

Zhaohui Luo

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Formal Semantics in Modern Type Theories
Modern Perspectives in Type-Theoretical Semantics
Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Modern Perspectives in Type-Theoretical Semantics
Modern Perspectives in Type-Theoretical Semantics
Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers