Typing Quantum Superpositions and Measurement
- Autores
- Díaz Caro, Alejandro; Dowek, Gilles
- Año de publicación
- 2017
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.
Fil: Díaz Caro, Alejandro. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; Francia - Materia
-
QUANTUM COMPUTING
LAMBDA CALCULUS
ALGEBRAIC LINEARITY
LINEAR LOGIC - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
- Repositorio
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/42228
Ver los metadatos del registro completo
id |
CONICETDig_2ece6e5fd3cfd125c8bd74bf0af0bd2f |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/42228 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
Typing Quantum Superpositions and MeasurementDíaz Caro, AlejandroDowek, GillesQUANTUM COMPUTINGLAMBDA CALCULUSALGEBRAIC LINEARITYLINEAR LOGIChttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.Fil: Díaz Caro, Alejandro. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; FranciaSpringer2017-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/42228Díaz Caro, Alejandro; Dowek, Gilles; Typing Quantum Superpositions and Measurement; Springer; Lecture Notes in Computer Science; 10687; 12-2017; 281-293978-3-319-71069-30302-9743CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/10.1007/978-3-319-71069-3_22info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-71069-3_22info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:17:22Zoai:ri.conicet.gov.ar:11336/42228instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:17:22.717CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
Typing Quantum Superpositions and Measurement |
title |
Typing Quantum Superpositions and Measurement |
spellingShingle |
Typing Quantum Superpositions and Measurement Díaz Caro, Alejandro QUANTUM COMPUTING LAMBDA CALCULUS ALGEBRAIC LINEARITY LINEAR LOGIC |
title_short |
Typing Quantum Superpositions and Measurement |
title_full |
Typing Quantum Superpositions and Measurement |
title_fullStr |
Typing Quantum Superpositions and Measurement |
title_full_unstemmed |
Typing Quantum Superpositions and Measurement |
title_sort |
Typing Quantum Superpositions and Measurement |
dc.creator.none.fl_str_mv |
Díaz Caro, Alejandro Dowek, Gilles |
author |
Díaz Caro, Alejandro |
author_facet |
Díaz Caro, Alejandro Dowek, Gilles |
author_role |
author |
author2 |
Dowek, Gilles |
author2_role |
author |
dc.subject.none.fl_str_mv |
QUANTUM COMPUTING LAMBDA CALCULUS ALGEBRAIC LINEARITY LINEAR LOGIC |
topic |
QUANTUM COMPUTING LAMBDA CALCULUS ALGEBRAIC LINEARITY LINEAR LOGIC |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
dc.description.none.fl_txt_mv |
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis. Fil: Díaz Caro, Alejandro. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; Francia |
description |
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis. |
publishDate |
2017 |
dc.date.none.fl_str_mv |
2017-12 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/42228 Díaz Caro, Alejandro; Dowek, Gilles; Typing Quantum Superpositions and Measurement; Springer; Lecture Notes in Computer Science; 10687; 12-2017; 281-293 978-3-319-71069-3 0302-9743 CONICET Digital CONICET |
url |
http://hdl.handle.net/11336/42228 |
identifier_str_mv |
Díaz Caro, Alejandro; Dowek, Gilles; Typing Quantum Superpositions and Measurement; Springer; Lecture Notes in Computer Science; 10687; 12-2017; 281-293 978-3-319-71069-3 0302-9743 CONICET Digital CONICET |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/10.1007/978-3-319-71069-3_22 info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-71069-3_22 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Springer |
publisher.none.fl_str_mv |
Springer |
dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
reponame_str |
CONICET Digital (CONICET) |
collection |
CONICET Digital (CONICET) |
instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
_version_ |
1844614126352990208 |
score |
13.070432 |