Some of my publications
Books, Edited books and PhD thesis
Papers:
Type theory
Coercive subtyping
Linguistic semantics
Proof development and proof assistants
Program specification and transformation
Talks, slides and lecture notes
Back to Zhaohui Luo's home page
.