A Syntax for Strictly Associative and Unital ∞-Categories

Open Webpage

Eric Finster, Alex Rice, Jamie Vicary

Published: 01 Jan 2024, Last Modified: 12 May 2025LICS 2024EveryoneRevisionsBibTeXCC BY-SA 4.0