%0 Journal Article %1 journals/corr/FinsterM17 %A Finster, Eric %A Mimram, Samuel %D 2017 %J CoRR %K dblp %T A Type-Theoretical Definition of Weak ω-Categories. %U http://dblp.uni-trier.de/db/journals/corr/corr1706.html#FinsterM17 %V abs/1706.02866

@article{journals/corr/FinsterM17, added-at = {2018-08-13T00:00:00.000+0200}, author = {Finster, Eric and Mimram, Samuel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28fe6d8d2b23a7dd64cc307d50d42747f/dblp}, ee = {http://arxiv.org/abs/1706.02866}, interhash = {f005f66f7d6cef2fb9d711ead5d70821}, intrahash = {8fe6d8d2b23a7dd64cc307d50d42747f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:07:57.000+0200}, title = {A Type-Theoretical Definition of Weak ω-Categories.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1706.html#FinsterM17}, volume = {abs/1706.02866}, year = 2017 }