{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T04:28:15Z","timestamp":1691555295204},"reference-count":8,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.380.2","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T11:58:01Z","timestamp":1690545481000},"page":"22-40","source":"Crossref","is-referenced-by-count":0,"title":["Categorification of Negative Information using Enrichment"],"prefix":"10.4204","volume":"380","author":[{"given":"Andrea","family":"Censi","sequence":"first","affiliation":[{"name":"ETH Zurich"}]},{"given":"Emilio","family":"Frazzoli","sequence":"additional","affiliation":[{"name":"ETH Zurich"}]},{"given":"Jonathan","family":"Lorand","sequence":"additional","affiliation":[{"name":"ETH Zurich"}]},{"given":"Gioele","family":"Zardini","sequence":"additional","affiliation":[{"name":"ETH Zurich"}]}],"member":"2720","published-online":{"date-parts":[[2023,8,7]]},"reference":[{"key":"blass1995questions","doi-asserted-by":"publisher","first-page":"61","DOI":"10.48550\/ARXIV.MATH\/9309208","article-title":"Questions and answers\u2014a category arising in linear logic, complexity theory, and set theory","volume":"222","author":"Blass","year":"1995","journal-title":"Advances in linear logic"},{"key":"censi2022","volume-title":"Applied Compositional Thinking for Engineers","author":"Censi","year":"2022"},{"key":"de1989dialectica","doi-asserted-by":"publisher","first-page":"47","DOI":"10.48456\/tr-213","article-title":"The dialectica categories","volume":"92","author":"De Paiva","year":"1989","journal-title":"Categories in Computer Science and Logic"},{"key":"de1989dialecticabis","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BFb0018360","article-title":"A dialectica-like model of linear logic","volume-title":"Category Theory and Computer Science","author":"De Paiva","year":"1989"},{"key":"delling2009engineering","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-02094-0_7","article-title":"Engineering route planning algorithms","volume-title":"Algorithmics of large and complex networks","author":"Delling","year":"2009"},{"key":"fong2018seven","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1803.05316","article-title":"Seven sketches in compositionality: An invitation to applied category theory","author":"Fong","year":"2018","journal-title":"arXiv preprint arXiv:1803.05316"},{"key":"kelly1982basic","volume-title":"Basic concepts of enriched category theory","volume":"64","author":"Kelly","year":"1982"},{"key":"shulman2018affine","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/bsl.2022.28","article-title":"Affine logic for constructive mathematics","author":"Shulman","year":"2022","journal-title":"The Bulletin of Symbolic Logic"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T18:34:57Z","timestamp":1691519697000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2207.13589v3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,7]]},"references-count":8,"URL":"https:\/\/doi.org\/10.4204\/eptcs.380.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,7]]}}}