Australian Category Seminar

About Recent Past Speakers

Categories symmetric monoidal, semi-cartesian and Markov; computads for such and variations of Shulman's practical type system for each

Paul Lessard·27 September 2023

Too long a title. Too short an abstract.