The ∞-Category of ∞-Categories in Simplicial Type Theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

Browse the full LICS paper archive.