NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES
-
May. 11th, 2021. I will give a talk on game-semantic toposes at the Categories and Types Seminar, hosted by the Institute for Logic, Language and Computation, the University of Amsterdam.
-
Feb. 11th, 2021. I gave a talk (slides; video) at the HoTTEST Seminar hosted by the Department of Mathematics, the University of Western Ontario.
-
Jan. 5th, 2021. The manuscript on sequent calculi for a unity of logic has been updated.
-
Sept. 21st, 2020. I gave an online talk (slides) on the consistency of Martin-Löf type theory with formal Church's thesis at the Mathematical Logic Seminar hosted by the Department of Mathematics, the University of Padova.
-
July 7-10th, 2019. I had a research visit to the Department of Mathematics, Stockholm University.
-
Nov. 7-10th, 2017. I had a research visit to the Department of Mathematics, Stockholm University.