Mostrar el registro sencillo del ítem

dc.contributor.author
Díaz Caro, Alejandro  
dc.date.available
2023-07-20T13:48:47Z  
dc.date.issued
2022-04  
dc.identifier.citation
Díaz Caro, Alejandro; A Quick Overview on the Quantum Control Approach to the Lambda Calculus; Open Publishing Association; Electronic Proceedings in Theoretical Computer Science; 357; 4-2022; 1-17  
dc.identifier.issn
2075-2180  
dc.identifier.uri
http://hdl.handle.net/11336/204627  
dc.description.abstract
In this short overview we start with the basics of quantum computing, explaining the difference between the quantum and the classical control paradigms. We give an overview of the quantum control line of research within the lambda calculus, ranging from untyped calculi up to categorical and realisability models. This is a summary of the last 10+ years of research in this area, starting from Arrighi and Dowek's seminal work until today.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Open Publishing Association  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/  
dc.subject
QUANTUM COMPUTING  
dc.subject
LAMBDA CALCULUS  
dc.subject
QUANTUM CONTROL  
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
A Quick Overview on the Quantum Control Approach to 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
2023-07-07T22:27:33Z  
dc.journal.volume
357  
dc.journal.pagination
1-17  
dc.journal.pais
Francia  
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.journal.title
Electronic Proceedings in Theoretical Computer Science  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:12  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4204/EPTCS.357.1  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/arxiv/https://arxiv.org/abs/2204.03885v1  

Archivos asociados
Thumbnail
 
Tamaño: 221.4Kb
Formato: PDF
.