{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T07:51:05Z","timestamp":1790236265409,"version":"4.1.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005124","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":17,"title":["A type-theoretical definition of weak \u03c9-categories"],"prefix":"10.1109","author":[{"given":"Eric","family":"Finster","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","article-title":"Disks, duality and 8-categories","author":"joyal","year":"1997","journal-title":"Preprint"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02273-9_14"},{"key":"ref12","author":"mac lane","year":"2012","journal-title":"Sheaves in Geometry and Logic A First Introduction to Topos Theory"},{"key":"ref13","article-title":"Grothendieck oo-groupoids, and still another definition of ?-categories","author":"maltsiniotis","year":"2010","journal-title":"arXiv preprint arXiv 1009 2331"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1990-038-6"},{"key":"ref15","first-page":"315","article-title":"Parity complexes","volume":"32","author":"street","year":"1991","journal-title":"Cahiers de topologie et géométrie dif-férentielle catégoriques"},{"key":"ref16","year":"2013","journal-title":"Homotopy Type Theory Univalent Foundations of Mathematics"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/pdq026"},{"key":"ref18","first-page":"1","article-title":"Globular: an online proof assistant for higher-dimensional rewriting","volume":"52","author":"vicary","year":"2016","journal-title":"1st InternationalConference on Formal Structures for Computation and Deduction (FSCD 2016)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/aima.2001.2056"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1998.1724"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90053-9"},{"key":"ref5","author":"brunerie","year":"2016","journal-title":"On the homotopy groups of spheres in homotopy type theory"},{"key":"ref8","author":"finster","year":"0","journal-title":"Opetopic"},{"key":"ref7","first-page":"120","article-title":"Internal type theory","author":"dybjer","year":"1995","journal-title":"Proc Int Workshop Types Proofs Programs (TYPES)"},{"key":"ref2","author":"ara","year":"2010","journal-title":"Sur les ?-groupoides de Grothendieck et une variante ?-catégorique"},{"key":"ref1","article-title":"A Syntactical Approach to Weak w-Groupoids","volume":"16","author":"altenkirch","year":"2012","journal-title":"LIPIcs-Leibniz InternationalProceedings in Informatics"},{"key":"ref9","author":"grothendieck","year":"1983","journal-title":"Pursuing stacks"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005124.pdf?arnumber=8005124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T14:58:53Z","timestamp":1513177133000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005124","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}