- Z. Luo. Modern Type Theories for Natural Language
course at ESSLLI 2017, Toulouse, France. July 2017.
[Lecture slides available]
- Z. Luo. MTT-semantics is both model-theoretic and
proof-theoretic. Slides for talks based on an invited talk at LACL14, given in
several places including a workshop at Kent in June 2016.
- S. Chatzikyriakidis and Z. Luo. Formal Semantics in Modern Type Theories:
Theory and Implementation. Advanced course at ESSLLI 2014, Tubingen,
Germany. August 2014. [Lecture slides available]
- Z. Luo. Notes on Universes in Type Theory. Lecture notes for a talk at
Institute for Advanced Study, Princeton. 2012.
- Z. Luo. Notes
and slides at ESSLLI 2011, Ljubljana,
Slovenia (for a course on Lexical Semantics, taught together
with Prof Nicholas Asher).
- Z. Luo. Lectures on Type Theory, Tsinghua
University, April 2011.
- Z. Luo. Lego and related work. Lecture notes for the TYPES Summer School:
Theory and Practice of Formal Proofs, France, 1999.
to Zhaohui Luo's Publications page.