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.

  • Jan. 5th, 2021. The manuscript on sequent calculi for a unity of logic has been updated.