Describing free $\omega$ -categories.

Simon Forest, Samuel Mimram

Browse the full LICS paper archive.