Data structures for quasistrict higher categories.

Krzysztof Bar, Jamie Vicary

Browse the full LICS paper archive.