{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:23Z","timestamp":1750309223618,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662102","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Syntax for Strictly Associative and Unital \u221e-Categories"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6027-7488","authenticated-orcid":false,"given":"Eric","family":"Finster","sequence":"first","affiliation":[{"name":"Computer Science, University of Birmingham, Birmingham, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2698-5122","authenticated-orcid":false,"given":"Alex","family":"Rice","sequence":"additional","affiliation":[{"name":"Computer Science and Technology, University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0998-1701","authenticated-orcid":false,"given":"Jamie","family":"Vicary","sequence":"additional","affiliation":[{"name":"Computer Science and Technology, University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/bf02698547"},{"key":"e_1_3_2_1_2_1","unstructured":"Thibaut Benjamin and Samuel Mimram. 2019. Suspension et Fonctorialit\u00e9: Deux Op\u00e9rations Implicites Utiles en CaTT. In Journ\u00e9es Francophones des Langages Applicatifs. hal:hal-01985195 https:\/\/hal.inria.fr\/hal-01985195\/"},{"key":"e_1_3_2_1_3_1","volume-title":"Private communication","author":"Dolan James","year":"1996","unstructured":"James Dolan. 1996. (1996). Private communication."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005124"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3531130.3533363"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2010.01.022"},{"key":"e_1_3_2_1_7_1","volume-title":"John Power, and Ross Street","author":"Gordon Richard","year":"1995","unstructured":"Richard Gordon, John Power, and Ross Street. 1995. Coherence for tricategories. Mem. AMS 117, 558 (1995)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0061280"},{"key":"e_1_3_2_1_9_1","unstructured":"Alexander Grothendieck. 1983. Pursuing stacks. (1983). https:\/\/thescrivener.github.io\/PursuingStacks\/ Unpublished letter to Daniel Quillen."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316071"},{"volume-title":"Higher operads, higher categories. Number 298","author":"Leinster Tom","key":"e_1_3_2_1_11_1","unstructured":"Tom Leinster. 2004. Higher operads, higher categories. Number 298. Cambridge University Press."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"Paolo Lipparini. [n. d.]. An Infinite Natural Sum. 62 3 ([n. d.]) 249--257. 10.1002\/malq.201500017","DOI":"10.1002\/malq.201500017"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400830558"},{"key":"e_1_3_2_1_14_1","volume-title":"arXiv:1009.2331 [math.CT]","author":"Maltsiniotis Georges","year":"2010","unstructured":"Georges Maltsiniotis. 2010. Grothendieck \u221e-groupoids, and still another definition of \u221e-categories. (2010). arXiv:1009.2331 [math.CT]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"Alex Rice. 2024. catt-agda. 10.5281\/zenodo.11149192","DOI":"10.5281\/zenodo.11149192"},{"volume-title":"The Classification of Two-Dimensional Extended Topological Field Theories. Ph. D. Dissertation","author":"Schommer-Pries Christopher","key":"e_1_3_2_1_16_1","unstructured":"Christopher Schommer-Pries. 2009. The Classification of Two-Dimensional Extended Topological Field Theories. Ph. D. Dissertation. University of California, Berkeley. arXiv:1112.1000"},{"key":"e_1_3_2_1_17_1","unstructured":"Carlos Simpson. 1998. Homotopy types of strict 3-groupoids. (1998). arXiv:math\/9810059"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3531130.3533347"},{"key":"e_1_3_2_1_19_1","unstructured":"Ross Street. 1995. Oberwolfach Notes on Descent Theory. (1995). http:\/\/science.mq.edu.au\/~street\/Descent.pdf"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00183-8"},{"volume-title":"Homotopy Type Theory: Univalent Foundations of Mathematics. https:\/\/homotopytypetheory.org\/book","author":"Foundations Program The Univalent","key":"e_1_3_2_1_21_1","unstructured":"The Univalent Foundations Program. 2013. Homotopy Type Theory: Univalent Foundations of Mathematics. https:\/\/homotopytypetheory.org\/book, Institute for Advanced Study."}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"],"location":"Tallinn Estonia","acronym":"LICS '24"},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662102","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:08Z","timestamp":1750290248000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":21,"alternative-id":["10.1145\/3661814.3662102","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662102","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}