Australian Category Seminar

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.

Back