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 Martin-Lö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 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.