Skip to content
#### 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.

### Like this:

Like Loading...