A Quick Overview on the Quantum Control Approach to the Lambda Calculus

Autores
Díaz Caro, Alejandro
Año de publicación
2022
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
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
Materia
QUANTUM COMPUTING
LAMBDA CALCULUS
QUANTUM CONTROL
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/204627
Acceder
id CONICETDig_a8257c8f67f0a4f3178840779a0e2407
oai_identifier_str oai:ri.conicet.gov.ar:11336/204627
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A Quick Overview on the Quantum Control Approach to the Lambda CalculusDíaz Caro, AlejandroQUANTUM COMPUTINGLAMBDA CALCULUSQUANTUM CONTROLhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1In 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.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; ArgentinaOpen Publishing Association2022-04info: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/204627Dí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-172075-2180CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:12info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.357.1info:eu-repo/semantics/altIdentifier/arxiv/https://arxiv.org/abs/2204.03885v1info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:47:36Zoai:ri.conicet.gov.ar:11336/204627instacron: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-03 09:47:36.536CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A Quick Overview on the Quantum Control Approach to the Lambda Calculus
title A Quick Overview on the Quantum Control Approach to the Lambda Calculus
spellingShingle A Quick Overview on the Quantum Control Approach to the Lambda Calculus
Díaz Caro, Alejandro
QUANTUM COMPUTING
LAMBDA CALCULUS
QUANTUM CONTROL
title_short A Quick Overview on the Quantum Control Approach to the Lambda Calculus
title_full A Quick Overview on the Quantum Control Approach to the Lambda Calculus
title_fullStr A Quick Overview on the Quantum Control Approach to the Lambda Calculus
title_full_unstemmed A Quick Overview on the Quantum Control Approach to the Lambda Calculus
title_sort A Quick Overview on the Quantum Control Approach to the Lambda Calculus
dc.creator.none.fl_str_mv Díaz Caro, Alejandro
author Díaz Caro, Alejandro
author_facet Díaz Caro, Alejandro
author_role author
dc.subject.none.fl_str_mv QUANTUM COMPUTING
LAMBDA CALCULUS
QUANTUM CONTROL
topic QUANTUM COMPUTING
LAMBDA CALCULUS
QUANTUM CONTROL
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
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
description 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.
publishDate 2022
dc.date.none.fl_str_mv 2022-04
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/204627
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
2075-2180
CONICET Digital
CONICET
url http://hdl.handle.net/11336/204627
identifier_str_mv 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
2075-2180
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:12
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.357.1
info:eu-repo/semantics/altIdentifier/arxiv/https://arxiv.org/abs/2204.03885v1
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Open Publishing Association
publisher.none.fl_str_mv Open Publishing Association
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_ 1842268870065258496
score 13.13397

Publicaciones similares