{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:20:11Z","timestamp":1770276011039,"version":"3.49.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319710686","type":"print"},{"value":"9783319710693","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-71069-3_22","type":"book-chapter","created":{"date-parts":[[2017,11,18]],"date-time":"2017-11-18T03:42:41Z","timestamp":1510976561000},"page":"281-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Typing Quantum Superpositions and\u00a0Measurement"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5175-6882","authenticated-orcid":false,"given":"Alejandro","family":"D\u00edaz-Caro","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Dowek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,19]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 111(1), 3\u201357 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of LICS 2005, pp. 249\u2013258. IEEE (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Arrighi, P., D\u00edaz-Caro, A.: A system F accounting for scalars. Logical Methods in Computer Science 8(1:11) (2012)","DOI":"10.2168\/LMCS-8(1:11)2012"},{"issue":"1","key":"22_CR4","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.ic.2017.04.001","volume":"254","author":"P Arrighi","year":"2017","unstructured":"Arrighi, P., D\u00edaz-Caro, A., Valiron, B.: The vectorial lambda-calculus. Inf. Comput. 254(1), 105\u2013139 (2017)","journal-title":"Inf. Comput."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Arrighi, P., Dowek, G.: Lineal: a linear-algebraic lambda-calculus. Logical Methods in Computer Science 13(1:8) (2017)","DOI":"10.23638\/LMCS-13(1:8)2017"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Assaf, A., D\u00edaz-Caro, A., Perdrix, S., Tasson, C., Valiron, B.: Call-by-value, call-by-name and the vectorial behaviour of the algebraic $$\\lambda $$ \u03bb -calculus. Logical Methods in Computer Science 10(4:8) (2014)","DOI":"10.2168\/LMCS-10(4:8)2014"},{"key":"22_CR7","unstructured":"Barber, A.: Dual intuitionistic linear logic. Technical report ECS-LFCS-96-347, The Laboratory for Foundations of Computer Science, University of Edinburgh (1996)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-32621-9_16","volume-title":"Logic, Language, Information and Computation","author":"A D\u00edaz-Caro","year":"2012","unstructured":"D\u00edaz-Caro, A., Petit, B.: Linearity in the non-deterministic call-by-value setting. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 216\u2013231. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32621-9_16"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. In: ACM SIGPLAN Notices (PLDI 2013), vol. 48, no. 6, pp. 333\u2013342 (2013)","DOI":"10.1145\/2491956.2462177"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Pagani, M., Selinger, P., Valiron, B.: Applying quantitative semantics to higher-order quantum computing. In: ACM SIGPLAN Notices (POPL 2014), vol. 49, no. 1, pp. 647\u2013658 (2014)","DOI":"10.1145\/2535838.2535879"},{"issue":"2","key":"22_CR12","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/322248.322251","volume":"28","author":"GE Peterson","year":"1981","unstructured":"Peterson, G.E., Stickel, M.E.: Complete sets of reductions for some equational theories. J. ACM 28(2), 233\u2013264 (1981)","journal-title":"J. ACM"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Selinger, P., Valiron, B.: Quantum lambda calculus. In: Gay, S., Mackie, I. (eds.) Semantic Techniques in Quantum Computation, pp. 135\u2013172. Cambridge University Press, Cambridge (2009). Chapter 9","DOI":"10.1017\/CBO9781139193313.005"},{"issue":"7","key":"22_CR14","doi-asserted-by":"crossref","first-page":"1107","DOI":"10.1017\/S0960129514000425","volume":"26","author":"M Zorzi","year":"2016","unstructured":"Zorzi, M.: On quantum lambda calculi: a foundational perspective. Math. Struct. Comput. Sci. 26(7), 1107\u20131195 (2016)","journal-title":"Math. Struct. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Natural Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-71069-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:30:21Z","timestamp":1750998621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-71069-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319710686","9783319710693"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-71069-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}