Zigzag normalisation for associative n-categories

Published: 2022, Last Modified: 12 May 2025LICS 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading