NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

  • May. 11th, 2021. I will give a talk on game-semantic toposes 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.