A Syntax for Strictly Associative and Unital ∞-Categories.

Eric Finster, Alex Rice, Jamie Vicary

Browse the full LICS paper archive.