Presentations

Conference talks

• Syntax for two-level type theory, HoTT/UF 2021, 17th July 2021.
• Syntax for two-level type theory, TYPES 2021, 15th June 2021.
• A proof-theoretical semantics for homotopy type theory, HoTT/UF 2020, 6th July 2020 – video.

Seminars

• Two-level type theory, Logic Seminar Verona, Università degli studi di Verona, 4th June 2021.
• A simpler semantics for a large fragment of Homotopy Type Theory, Università degli studi di Verona, 29th October 2019.
• Sketches of Homotopy type theory, Università degli studi di Milano-Bicocca, 6th December 2018.
• Point-free categorical semantics for Martin-Lof type theory, School of Information Science, JAIST, 18th May 2017.