{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T19:13:42Z","timestamp":1773429222898,"version":"3.50.1"},"publisher-location":"Singapore","reference-count":26,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819535842","type":"print"},{"value":"9789819535859","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:00:00Z","timestamp":1761868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:00:00Z","timestamp":1761868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-3585-9_8","type":"book-chapter","created":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:06:33Z","timestamp":1761804393000},"page":"151-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Quantum-Control Lambda-Calculus with\u00a0Multiple Measurement Bases"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5175-6882","authenticated-orcid":false,"given":"Alejandro","family":"D\u00edaz-Caro","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2654-4539","authenticated-orcid":false,"given":"Nicolas A.","family":"Monzon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), pp. 249\u2013258 (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Arrighi, P., Dowek, G.: Lineal: a linear-algebraic Lambda-calculus. Logical Methods Comput. Sci. 13(1:8) (2017)","DOI":"10.23638\/LMCS-13(1:8)2017"},{"key":"8_CR3","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-calculus. Logical Methods Comput. Sci. 10(4:8) (2014)","DOI":"10.2168\/LMCS-10(4:8)2014"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Carette, J., Jeunen, C., Kaarsgaard, R., Sabry, A.: How to bake a quantum $$\\pi $$. In: Proceedings of the ACM on Programming Languages, vol.\u00a08, pp. 236:1\u2013236:29 (2024)","DOI":"10.1145\/3674625"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Chardonnet, K., de Visme, M., Valiron, B., Vilmart, R.: The many-worlds calculus. Logical Methods Comput. Sci. 21(2:13) (2025)","DOI":"10.46298\/lmcs-21(2:13)2025"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Choudhury, V., Gay, S.J.: The duality of $$\\lambda $$-abstraction. In: Proceedings of the ACM on Programming Languages, vol.\u00a09, pp. 12:332\u201312:361 (2025)","DOI":"10.1145\/3704848"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Clairambault, P., de\u00a0Visme, M.: Full abstraction for the quantum lambda-calculus. In: Proceedings of the ACM on Programming Languages, vol.\u00a04, pp. 63:1\u201363:28 (2019)","DOI":"10.1145\/3371131"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-70583-3_25","volume-title":"Automata, Languages and Programming","author":"B Coecke","year":"2008","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 298\u2013310. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70583-3_25"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"D\u00edaz-Caro, A.: Towards a computational quantum logic: an overview of an ongoing research program. Invited talk at CiE 2025: Computability in Europe. To appear at LNCS (2025)","DOI":"10.1007\/978-3-031-95908-0_3"},{"issue":"10","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1103","DOI":"10.1017\/S0960129524000197","volume":"34","author":"A D\u00edaz-Caro","year":"2024","unstructured":"D\u00edaz-Caro, A., Dowek, G.: A linear linear lambda-calculus. Math. Struct. Comput. Sci. 34(10), 1103\u20131137 (2024)","journal-title":"Math. Struct. Comput. Sci."},{"key":"8_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2019.104012","volume":"186","author":"A D\u00edaz-Caro","year":"2019","unstructured":"D\u00edaz-Caro, A., Dowek, G., Rinaldi, J.P.: Two linearities for quantum computing in the lambda calculus. Biosystems 186, 104012 (2019)","journal-title":"Biosystems"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"D\u00edaz-Caro, A., Guillermo, M., Miquel, A., Valiron, B.: Realizability in the unitary sphere. In: Proceedings of the 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2019), pp. 1\u201313 (2019)","DOI":"10.1109\/LICS.2019.8785834"},{"issue":"5","key":"8_CR13","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1007\/s10485-020-09598-7","volume":"28","author":"A D\u00edaz-Caro","year":"2020","unstructured":"D\u00edaz-Caro, A., Malherbe, O.: A categorical construction for the computational definition of vector spaces. Appl. Categ. Struct. 28(5), 807\u2013844 (2020)","journal-title":"Appl. Categ. Struct."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"D\u00edaz-Caro, A., Malherbe, O.: Quantum control in the unitary sphere: Lambda-$$s_1$$ and its categorical model. Logical Methods Comput. Sci. 18(3:32) (2022)","DOI":"10.46298\/lmcs-18(3:32)2022"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129523000361","volume":"34","author":"A D\u00edaz-Caro","year":"2023","unstructured":"D\u00edaz-Caro, A., Malherbe, O.: A concrete model for a typed linear algebraic lambda calculus. Math. Struct. Comput. Sci. 34(1), 1\u201344 (2023)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoret. Comput. Sci. 50(1), 1\u2013101 (1987)","journal-title":"Theoret. Comput. Sci."},{"issue":"6","key":"8_CR17","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/2499370.2462177","volume":"48","author":"AS Green","year":"2013","unstructured":"Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. ACM SIGPLAN Notices 48(6), 333\u2013342 (2013)","journal-title":"ACM SIGPLAN Notices"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Heunen, C., Kaarsgaard, R.: Quantum information effects. In: Proceedings of the ACM on Programming Languages, vol.\u00a06, pp. 2:1\u20132:27 (2021)","DOI":"10.1145\/3498663"},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"SC Kleene","year":"1945","unstructured":"Kleene, S.C.: On the interpretation of intuitionistic number theory. J. Symb. Log. 10(4), 109\u2013124 (1945)","journal-title":"J. Symb. Log."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Knill, E.: Conventions for quantum pseudocode. Technical Report LAUR-96-2724, Los Alamos National Laboratory (1996)","DOI":"10.2172\/366453"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"846","DOI":"10.1145\/3093333.3009894","volume":"52","author":"J Paykin","year":"2017","unstructured":"Paykin, J., Rand, R., Zdancewic, S.: QWIRE: a core language for quantum circuits. ACM SIGPLAN Notices 52(1), 846\u2013858 (2017)","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"8_CR22","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. Math. Struct. Comput. Sci. 14(4), 527\u2013586 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"3","key":"8_CR23","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. Math. Struct. Comput. Sci. 16(3), 527\u2013552 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"8_CR24","unstructured":"S\u00f8rensen, M.H.B., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Elsevier, Amsterdam; Oxford (2006)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Voichick, F., Li, L., Rand, R., Hicks, M.: Qubity: a unified language for quantum and classical computing. In: Proceedings of the ACM on Programming Languages, vol.\u00a07, pp. 32:921\u201332:951 (2023)","DOI":"10.1145\/3571225"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1038\/299802a0","volume":"299","author":"WK Wootters","year":"1982","unstructured":"Wootters, W.K., Zurek, W.H.: A single quantum cannot be cloned. Nature 299, 802\u2013803 (1982)","journal-title":"Nature"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-3585-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T18:14:22Z","timestamp":1773425662000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-3585-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,31]]},"ISBN":["9789819535842","9789819535859"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-3585-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,31]]},"assertion":[{"value":"31 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"APLAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Symposium on Programming Languages and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bengaluru","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aplas2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/track\/aplas-2025\/aplas-2025-aplas-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}