NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES
-
Research visit to Department of Mathematics, Stockholm University (November 7-10th, 2017; Stockholm)
-
Research visit to Department of Mathematics, Stockholm University (July 7-10th, 2019; Stockholm)
-
HoTT 2019 (August 12-17th, 2019; Pittsburgh)
-
Game semantics of Martin-Löf type theory, submitted to Research in the Mathematical Sciences (RMS)
-
Sequent calculi for the unity of logic, preprint available