{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,8]],"date-time":"2025-06-08T22:28:13Z","timestamp":1749421693871},"reference-count":0,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.292.5","type":"journal-article","created":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T11:29:17Z","timestamp":1555068557000},"page":"90-103","source":"Crossref","is-referenced-by-count":3,"title":["Taking Linear Logic Apart"],"prefix":"10.4204","volume":"292","author":[{"given":"Wen","family":"Kokke","sequence":"first","affiliation":[{"name":"University of Edinburgh"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Montesi","sequence":"additional","affiliation":[{"name":"University of Southern Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Peressotti","sequence":"additional","affiliation":[{"name":"University of Southern Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2019,4,15]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T01:29:34Z","timestamp":1555464574000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1904.06848v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4204\/eptcs.292.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,15]]}}}