{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T16:47:57Z","timestamp":1790095677587,"version":"4.0.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/lics.2019.8785687","type":"proceedings-article","created":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T01:15:55Z","timestamp":1565054155000},"page":"1-13","source":"Crossref","is-referenced-by-count":1,"title":["Describing free $\\omega$ -categories"],"prefix":"10.1109","author":[{"given":"Simon","family":"Forest","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samuel","family":"Mimram","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084230"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4310\/HHA.2004.v6.n1.a12"},{"key":"ref12","first-page":"501","article-title":"Opetopes and chain complexes","volume":"26","author":"steiner","year":"2012","journal-title":"Theory and Applications of Categories"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(87)90137-X"},{"key":"ref14","first-page":"315","article-title":"Parity complexes","volume":"32","author":"street","year":"1991","journal-title":"Cahiers de Topologie et Céométrie différentielle caiéqoriques"},{"key":"ref15","first-page":"359","article-title":"Parity complexes: corrigenda","volume":"35","author":"street","year":"1994","journal-title":"Cahiers de topologie et qéoméirie différentielle catéqoriques"},{"key":"ref4","author":"forest","year":"2018","journal-title":"Agda formalization of the counter-example for parity complexes"},{"key":"ref3","author":"forest","year":"2018","journal-title":"Unifying notions of pasting diagrams"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(89)90136-9"},{"key":"ref5","author":"henry","year":"2017","journal-title":"Non-unital polygraphs form a presheaf category"},{"key":"ref8","first-page":"29","article-title":"oo-groupoids and homotopy types","volume":"32","author":"kapranov","year":"1991","journal-title":"Cahiers de Topologie et Géométric Differen-tielle Catéqoriques"},{"key":"ref7","first-page":"11","article-title":"Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results)","volume":"32","author":"kapranov","year":"1991","journal-title":"Cahiers de Topologie et Céométrie différentielle caiéqoriques"},{"key":"ref2","author":"forest","year":"2018","journal-title":"Agda issue #3466 two definitionally equal terms are not equal"},{"key":"ref1","first-page":"25","article-title":"A formal verification of the theory of parity complexes","volume":"8","author":"buckley","year":"2015","journal-title":"Journal of Formalized Reasoning"},{"key":"ref9","author":"mimram","year":"2016","journal-title":"An implementation of parity complexes"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Vancouver, BC, Canada","start":{"date-parts":[[2019,6,24]]},"end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785687.pdf?arnumber=8785687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:20:37Z","timestamp":1658262037000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785687\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785687","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}