A type-theoretical definition of weak ω-categories.

Eric Finster, Samuel Mimram

Browse the full LICS paper archive.