Paper: Describing free $\omega$ -categories (at LICS 2019)
Authors: Simon Forest Samuel Mimram
Abstract
No Abstract Available
BibTeX
@InProceedings{ForestMimram-Describingfreeomega, author = {Simon Forest and Samuel Mimram}, title = {Describing free $\omega$ -categories}, booktitle = {Proceedings of the Thirty fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2019)}, year = {2019}, month = {June}, pages = {1--13}, location = {Vancouver}, publisher = {IEEE Computer Society Press} }