Artículo

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

Díaz Caro, AlejandroIcon
Fecha de publicación: 04/2022
Editorial: Open Publishing Association
Revista: Electronic Proceedings in Theoretical Computer Science
ISSN: 2075-2180
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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.
Palabras clave: QUANTUM COMPUTING , LAMBDA CALCULUS , QUANTUM CONTROL
 
Archivos asociados
Thumbnail
 
Tamaño: 221.4Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution 2.5 Unported (CC BY 2.5)
Identificadores
URI: http://hdl.handle.net/11336/204627
URL: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:12
DOI: http://dx.doi.org/10.4204/EPTCS.357.1
Colecciones
Articulos(ICC)
Articulos de INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Citación
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
Compartir
Altmétricas