NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

May. 11th, 2021. I will give a talk on gamesemantic 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 MartinLöf type theory with formal Church's thesis at the Mathematical Logic Seminar hosted by the Department of Mathematics, the University of Padova.

July 710th, 2019. I had a research visit to the Department of Mathematics, Stockholm University.

Nov. 710th, 2017. I had a research visit to the Department of Mathematics, Stockholm University.