Denis-Charles Cisinski, Hoang Kim Nguyen, Tashi Walde: Univalent Directed Type Theory, lecture series in the CMU Homotopy Type Theory Seminar (13, 20, 27 Mar 2023) [web, video 1:YT, 2:YT, 3:YT; slides 0:pdf, 1:pdf, 2:pdf, 3:pdf]
Denis-Charles Cisinski, Bastiaan Cnossen, Hoang Kim Nguyen, Tashi Walde, Formalization of Higher Categories, work in progress (pdf)
Last revised on April 11, 2025 at 09:55:55. See the history of this page for a list of all contributions to it.