{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:51:36Z","timestamp":1730328696913,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["470467389"],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662105","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-14","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-8993-6486","authenticated-orcid":false,"given":"Thorsten","family":"Wi\u00dfmann","sequence":"first","affiliation":[{"name":"Theoretische Informatik (Informatik 8), Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-2021-1644","authenticated-orcid":false,"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[{"name":"Theoretische Informatik (Informatik 8), Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(02)00126-3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45231-5_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.CALCO.2021.5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005706"},{"key":"e_1_3_2_1_5_1","first-page":"589","article-title":"Free algebras and automata realizations in the language of categories","volume":"015","author":"Ad\u00e1mek Ji\u0159\u00ed","year":"1974","unstructured":"Ji\u0159\u00ed Ad\u00e1mek. 1974. Free algebras and automata realizations in the language of categories. Commentationes Mathematicae Universitatis Carolinae 015, 4 (1974), 589--602. http:\/\/eudml.org\/doc\/16649","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"e_1_3_2_1_6_1","volume-title":"Strecker","author":"Ad\u00e1mek Ji\u0159\u00ed","year":"2004","unstructured":"Ji\u0159\u00ed Ad\u00e1mek, Horst Herrlich, and George E. Strecker. 2004. Abstract and Concrete Categories. The Joy of Cats."},{"volume-title":"Locally Presentable and Accessible Categories","author":"Ad\u00e1mek Ji\u0159\u00ed","key":"e_1_3_2_1_7_1","unstructured":"Ji\u0159\u00ed Ad\u00e1mek and Ji\u0159\u00ed Rosick\u00fd. 1994. Locally Presentable and Accessible Categories. Cambridge University Press."},{"key":"e_1_3_2_1_8_1","unstructured":"Steve Awodey. 2010. Category Theory. OUP Oxford. http:\/\/books.google.de\/books?id=-MCJ6\u00d72lC7oC"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.08.005"},{"key":"e_1_3_2_1_11_1","first-page":"141","article-title":"A characterization of locally D-presentable categories","volume":"45","author":"Centazzo Claudia","year":"2004","unstructured":"Claudia Centazzo, Jir\u00ed Rosick\u00fd, and Enrico Vitale. 2004. A characterization of locally D-presentable categories. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 45, 2 (2004), 141--146.","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80305-6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372885.3373835"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3437992.3439922"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129515000481"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110627"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.11"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5_7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2019.104456"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(74)90032-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.372.7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CAC48633.2019.8997376"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275781"},{"volume-title":"Practical Foundations of Mathematics","author":"Taylor Paul","key":"e_1_3_2_1_24_1","unstructured":"Paul Taylor. 1999. Practical Foundations of Mathematics. Cambridge studies in advanced mathematics, Vol. 59. Cambridge University Press."},{"key":"e_1_3_2_1_25_1","unstructured":"Paul Taylor. 2023. Well Founded Coalgebras and Recursion. https:\/\/www.paultaylor.eu\/ordinals\/welfcr.pdf accessed on 2024-01-27."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CALCO.2017.24"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01445300"}],"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\/pdf\/10.1145\/3661814.3662105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T17:45:11Z","timestamp":1723484711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":26,"alternative-id":["10.1145\/3661814.3662105","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662105","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"}}]}}