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