Australian Category Seminar

Here is a list of all talks by Ruben Zilibowitz at the Australian Category Seminar.
2023
  • 26 April
    Game Semantics for Free Cartesian Closed Categories: A Clear Account of the Correspondence with the ccc-Calculus (abs)
2022
  • 27 July
    Game semantics for free cartesian closed categories (abs)