Books

• Z. Luo. Modern Type Theories: Their Development and Applications. Tsinghua University Press. 2024. (ISBN: 9787302660354)
  
  
• S. Chatzikyriakidis and Z. Luo. Formal Semantics in Modern Type Theories. Wiley/ISTE. 2020. (ISBN 978-1-78630-128-4)
  
  
• Z. Luo. Computation and Reasoning: A Type Theory for Computer Science. International Series of Monographs on Computer Science, 11. Oxford University Press, 1994. (ISBN13: 978-0-19-853835-6; ISBN10: 0-19-853835-9)
  
  
• H. Chen, Z. Luo, and Q. Ma. The Foundations of Programming Methodology. Press of Science and Technology, 1987. (In Chinese. ISBN 7 53 570105 1)
  
  

Edited Books

• S. Chatzikyriakidis and Z. Luo (eds.). Modern Perspectives in Type Theoretical Semantics. Studies in Linguistics and Philosophy, Springer. 2017.
  • Introduction (by S. Chatzikyriakidis and Z. Luo)
  • On the Interpretation of Common Nouns: Types v.s. Predicates (chapter by S. Chatzikyriakidis and Z. Luo)
  
  
• P. C. Callaghan, Z. Luo, J. H. McKinna and R. Pollack (eds.). Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277. 2002.

PhD Thesis

• Z. Luo. An Extended Calculus of Constructions. PhD thesis, University of Edinburgh, 1990. Also as Report CST-65-90/ECS-LFCS-90-118, Department of Computer Science, University of Edinburgh. [ pdf and ps files available.]