Zhaohui Luo in nLab

• webpage

Selected writings

On type theory in computer science (via the calculus of constructions):

• Zhaohui Luo, Computation and Reasoning – A Type Theory for Computer Science, Clarendon Press (1994) [[ISBN:9780198538356, pdf]]

Related entries

• type universe

• coercion

• dependent type theoretic methods in natural language semantics