A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary, Alex Rice

Browse the full LICS paper archive.