Skip to content
- A proof-theoretical semantics for homotopy type theory, contributed talk, HoTT/UF 2020, 6th July 2020 – video.
- A simpler semantics for a large fragment of Homotopy Type Theory, Università degli studi di Verona, 29th October 2019.
- Sketches of Homotopy type theory, invited seminar, Università degli studi di Milano-Bicocca, 6th December 2018.
- Point-free categorical semantics for Martin-Lof type theory, seminar, School of Information Science, JAIST, 18th May 2017.
Like this:
Like Loading...
