NEWS

  • April 25, 2022. I will give a talk on combinatorial foundations of constructive general topology at Topology Seminar, hosted by School of Mathematics, University of Minnesota.

  • April 14th, 2022. I gave a talk on Curry-Howard isomorphisms without commuting conversions at Ottawa-Carleton Logic Seminar, hosted by Logic and Foundations of Computing Group, University of Ottawa. 

  • April 8th, 2022. I gave a talk on Curry-Howard isomorphisms without commuting conversions at Categories and Types Seminar, hosted by Mathematical Logic Group, University of Amsterdam. 

  • June 16th, 2021. I gave a talk (slides) on dependent types and finite limits in games at the Hájek Seminar, hosted by Logic Group, Institute of Computer Science, 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 Logic and Computer Science Seminar, hosted by Research Institute for Mathematical Sciences, Kyoto University.

  • May 11th, 2021. I gave a talk (slides) on dependent types and finite limits in games at Categories and Types Seminar, hosted by Institute for Logic, Language and Computation, University of Amsterdam.

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