Australian Category Seminar
About AusCat
Recent talks
Past talks
CoACT
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