{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:12:10Z","timestamp":1775790730863,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540784975","type":"print"},{"value":"9783540784999","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78499-9_7","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T23:02:25Z","timestamp":1207090945000},"page":"81-96","source":"Crossref","is-referenced-by-count":4,"title":["A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Peter","family":"Selinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Valiron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science\u00a0111, 3\u201357 (1993)","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of LICS 2004, pp. 415\u2013425 (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"7_CR3","volume-title":"The Lambda-Calculus, its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda-Calculus, its Syntax and Semantics. North Holland, Amsterdam (1984)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0022251","volume-title":"Computer Science Logic","author":"N. Benton","year":"1995","unstructured":"Benton, N.: A mixed linear and non-linear logic: Proofs, terms and models (extended abstract). In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933, pp. 121\u2013135. Springer, Heidelberg (1995)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0037099","volume-title":"Typed Lambda Calculi and Applications","author":"N. Benton","year":"1993","unstructured":"Benton, N., Bierman, G., de Paiva, V.C.V., Hyland, M.: A term calculus for intuitionistic linear logic. In: Bezem, M., Groote, J.F. (eds.) TLCA 1993. LNCS, vol.\u00a0664, pp. 75\u201390. Springer, Heidelberg (1993)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Science Logic","author":"N. Benton","year":"1993","unstructured":"Benton, N., Bierman, G., Hyland, M., de Paiva, V.C.V.: Linear lambda-calculus and categorical models revisited. In: Martini, S., B\u00f6rger, E., Kleine B\u00fcning, H., J\u00e4ger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol.\u00a0702, Springer, Heidelberg (1993)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Benton, N., Wadler, P.: Linear logic, monads and the lambda calculus. In: Proceedings of LICS 1996, pp. 420\u2013431 (1996)","DOI":"10.1109\/LICS.1996.561458"},{"key":"7_CR8","unstructured":"Bierman, G.: On Intuitionistic Linear Logic. PhD thesis, Computer Science Department, Cambridge University, Cambridge (1993)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Coecke, B.: Quantum information-flow, concretely, abstractly. In: Selinger, P., (ed.) Proceedings of QPL 2004. TUCS General Publication No. 33, Turku Centre for Computer Science pp. 57\u201373 (2004)","DOI":"10.1117\/12.620297"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1201\/9781584889007.ch16","volume-title":"Mathematics of Quantum Computation and Technology","author":"B. Coecke","year":"2007","unstructured":"Coecke, B., Pavlovic, D.: Quantum measurements without sums. In: Chen, G., Kauffman, L., Lomonaco, S.J. (eds.) Mathematics of Quantum Computation and Technology, pp. 559\u2013596. Chapman & Hall, Boca Raton (2007)"},{"key":"7_CR11","volume-title":"Proceedings of POPL 2005","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Nagarajan, R.: Communicating quantum processes. In: Proceedings of POPL 2005, ACM Press, New York (2005)"},{"key":"7_CR12","unstructured":"Lalire, M., Jorrand, P.: A process algebraic approach to concurrent and distributed computation: Operational semantics. In: Selinger, P. (ed.) Proceedings of QPL 2004. TUCS General Publication No. 33, Turku Centre for Computer Science, pp. 109\u2013126 (2004)"},{"key":"7_CR13","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1998)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093, 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"7_CR15","unstructured":"Schalk, A.: What is a model for linear logic. Manuscript (2004)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Seely, R.A.G.: *-autonomous categories and cofree coalgebras. Contemporary Mathematics\u00a092 (1989)","DOI":"10.1090\/conm\/092\/1003210"},{"key":"7_CR17","unstructured":"Selinger, P. (ed.): Proceedings of QPL 2004. TUCS General Publication No. 33, Turku Centre for Computer Science (2004)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science\u00a014, 527\u2013586 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129506005238","volume":"16","author":"P. Selinger","year":"2006","unstructured":"Selinger, P., Valiron, B.: A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science\u00a016, 527\u2013552 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR20","unstructured":"Selinger, P., Valiron, B.: On a fully abstract model for a quantum linear functional language. In: Preliminary proceedings of QPL 2006, pp. 103\u2013115 (2006)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A. Tonder van","year":"2004","unstructured":"van Tonder, A.: A lambda calculus for quantum computation. SIAM Journal of Computing\u00a033, 1109\u20131135 (2004)","journal-title":"SIAM Journal of Computing"},{"key":"7_CR22","unstructured":"Wadler, P.: There\u2019s no substitute for linear logic. Manuscript, presented at MFPS 1992 (1992)"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1038\/299802a0","volume":"299","author":"W.K. Wootters","year":"1982","unstructured":"Wootters, W.K., Zurek, W.H.: A single quantum cannot be cloned. Nature\u00a0299, 802\u2013803 (1982)","journal-title":"Nature"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78499-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:11:37Z","timestamp":1619521897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78499-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540784975","9783540784999"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78499-9_7","relation":{},"subject":[]}}