{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:54:25Z","timestamp":1648587265342},"reference-count":16,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.333.22","type":"journal-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T22:45:56Z","timestamp":1611096356000},"page":"322-334","source":"Crossref","is-referenced-by-count":0,"title":["Computational Adequacy for Substructural Lambda Calculi"],"prefix":"10.4204","volume":"333","author":[{"given":"Vladimir","family":"Zamdzhiev","sequence":"first","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2021,2,8]]},"reference":[{"key":"benton-wadler","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561458","article-title":"Linear Logic, Monads and the Lambda Calculus","volume-title":"Logic in Computer Science","author":"Benton","year":"1996"},{"key":"benton-small","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022251","article-title":"A mixed linear and non-linear logic: Proofs, terms and models","volume-title":"Computer Science Logic: 8th Workshop, CSL '94","author":"Benton","year":"1995"},{"issue":"3","key":"eec","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1093\/logcom\/exs025","article-title":"The enriched effect calculus: syntax and semantics","volume":"24","author":"Egger","year":"2014","journal-title":"J. Log. Comput."},{"key":"linear-logic","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear Logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theor. Comput. Sci."},{"key":"cbpv","series-title":"Semantics Structures in Computation","volume-title":"Call-By-Push-Value: A Functional\/Imperative Synthesis","volume":"2","author":"Levy","year":"2004"},{"key":"eclnl","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209196","article-title":"Enriching a Linear\/Non-linear Lambda Calculus: A Programming Language for String Diagrams","volume-title":"LICS 2018","author":"Lindenhovius","year":"2018"},{"key":"lnl-fpc","doi-asserted-by":"publisher","DOI":"10.1145\/3341715","article-title":"Mixed linear and non-linear recursive types","volume":"3","author":"Lindenhovius","year":"2019","journal-title":"Proc. ACM Program. Lang."},{"issue":"1","key":"relating-models","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-004-3134-z","article-title":"Relating Categorical Semantics for Intuitionistic Linear Logic","volume":"13","author":"Maietti","year":"2005","journal-title":"Applied Categorical Structures"},{"issue":"1","key":"moggi","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of Computation and Monads","volume":"93","author":"Moggi","year":"1991","journal-title":"Inf. Comput."},{"key":"quant-semantics","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535879","article-title":"Applying quantitative semantics to higher-order quantum computing","volume-title":"POPL","author":"Pagani","year":"2014"},{"key":"qpl-fossacs","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/978-3-030-45231-5_29","article-title":"Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory","volume-title":"Foundations of Software Science and Computation Structures 2020","author":"P\u00e9choux","year":"2020"},{"key":"pqm-small","doi-asserted-by":"publisher","first-page":"164","DOI":"10.4204\/EPTCS.266.11","article-title":"A categorical model for a quantum circuit description language","volume-title":"QPL 2017","author":"Rios","year":"2017"},{"issue":"4","key":"qpl","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","article-title":"Towards a quantum programming language","volume":"14","author":"Selinger","year":"2004","journal-title":"Mathematical Structures in Computer Science"},{"key":"sv-lnl","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78499-9_7","article-title":"A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)","volume-title":"FOSSACS 2008","author":"Selinger","year":"2008"},{"key":"qlc-affine","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139193313.005","volume-title":"Quantum Lambda Calculus","author":"Selinger","year":"2009"},{"issue":"5886","key":"no-cloning","doi-asserted-by":"publisher","DOI":"10.1038\/299802a0","article-title":"A single quantum cannot be cloned","volume":"299","author":"Wootters","year":"1982","journal-title":"Nature"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T03:25:15Z","timestamp":1612841115000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2005.05433v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.4204\/eptcs.333.22","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,8]]}}}