A lambda calculus for density matrices with classical and probabilistic controls
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, λρ,follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon th...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2017 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/43254 |
| Acceso en línea: | http://hdl.handle.net/11336/43254 |
| Access Level: | acceso abierto |
| Palabra clave: | Classical Control Density Matrices Lambda Calculus Quantum Computing https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
| Sumario: | In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, λρ,follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon them. The second one, λρ∘, takes advantage of the density matrices presentation in order to follow the mixed trace of programs in a kind of generalised density matrix. Such a control can be seen as a weaker form of the quantum control and data approach.** El volume de LNCS es 10695, pero el formulario sólo permite 4 dígitos ** |
|---|