INVESTIGADORES
DÍAZ CARO Alejandro
artículos
Título:
A lambda calculus for density matrices with classical and probabilistic controls
Autor/es:
ALEJANDRO DÍAZ-CARO
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Lugar: Cham; Año: 2017 vol. 1069 p. 448 - 467
ISSN:
0302-9743
Resumen:
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 **