Jacob Neumann, Thorsten Altenkirch. Synthetic 1-Categories in Directed Type Theory. In Rasmus Ejlers Møgelberg, Benno van den Berg, editors, 30th International Conference on Types for Proofs and Programs, TYPES 2024, June 10-14, 2024, Copenhagen, Denmark. Volume 336 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.