Mostrar el registro sencillo del ítem
dc.contributor.author
Díaz Caro, Alejandro
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Dowek, Gilles
dc.contributor.author
Rinaldi, Juan Pablo
dc.date.available
2020-12-28T15:46:43Z
dc.date.issued
2019-12
dc.identifier.citation
Díaz Caro, Alejandro; Dowek, Gilles; Rinaldi, Juan Pablo; Two linearities for quantum computing in the lambda calculus; Elsevier; Biosystems; 186; 12-2019; 1-30
dc.identifier.issn
0303-2647
dc.identifier.uri
http://hdl.handle.net/11336/121219
dc.description.abstract
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. 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
Elsevier
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
ALGEBRAIC LINEARITY
dc.subject
LAMBDA-CALCULUS
dc.subject
LINEAR LOGIC
dc.subject
MEASUREMENT
dc.subject
QUANTUM COMPUTING
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Two linearities for quantum computing in the lambda calculus
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
2020-11-30T14:16:44Z
dc.journal.volume
186
dc.journal.pagination
1-30
dc.journal.pais
Países Bajos
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Amsterdam
dc.description.fil
Fil: Díaz Caro, Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina. Universidad Nacional de Quilmes; Argentina
dc.description.fil
Fil: Dowek, Gilles. No especifíca;
dc.description.fil
Fil: Rinaldi, Juan Pablo. Universidad Nacional de Rosario; Argentina
dc.journal.title
Biosystems
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.biosystems.2019.104012
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/abs/pii/S0303264718301102
Archivos asociados