Mostrar el registro sencillo del ítem
dc.contributor.author
Díaz Caro, Alejandro
dc.contributor.author
Dowek, Gilles
dc.date.available
2018-04-16T21:35:30Z
dc.date.issued
2017-12
dc.identifier.citation
Díaz Caro, Alejandro; Dowek, Gilles; Typing Quantum Superpositions and Measurement; Springer; Lecture Notes in Computer Science; 10687; 12-2017; 281-293
dc.identifier.isbn
978-3-319-71069-3
dc.identifier.issn
0302-9743
dc.identifier.uri
http://hdl.handle.net/11336/42228
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.subject
Quantum Computing
dc.subject
Lambda Calculus
dc.subject
Algebraic Linearity
dc.subject
Linear Logic
dc.subject.classification
Ciencias de la Computación
dc.subject.classification
Ciencias de la Computación e Información
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Typing Quantum Superpositions and Measurement
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2018-04-16T14:42:13Z
dc.journal.volume
10687
dc.journal.pagination
281-293
dc.journal.pais
Alemania
dc.journal.ciudad
Berlín
dc.description.fil
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
dc.description.fil
Fil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; Francia
dc.journal.title
Lecture Notes in Computer Science
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/10.1007/978-3-319-71069-3_22
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/978-3-319-71069-3_22
Archivos asociados