NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

June 16th, 2021. I will gave a talk (slides) on dependent types and finite limits in games at the Hájek Seminar, hosted by the Logic Group, the Institute of Computer Science, the Czech Academy of Sciences.

June 8th, 2021. New preprint on game semantics of MartinLöf type theory is available.

June 3rd, 2021. I gave a talk (slides) on dependent types and finite limits in games at the Logic and Computer Science Seminar, hosted by the Research Institute for Mathematical Sciences, Kyoto University.

May 11th, 2021. I gave a talk (slides) on dependent types and finite limits in games 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.