NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

Feb. 11th, 2021. I will give a talk 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.