ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Two linearities for quantum computing in the lambda calculus
Autor/es:
JUAN PABLO RINALDI; DÍAZ CARO, ALEJANDRO; GILLES DOWEK
Revista:
BIOSYSTEMS
Editorial:
ELSEVIER SCI LTD
Referencias:
Lugar: Amsterdam; Año: 2019 vol. 186
ISSN:
0303-2647
Resumen:
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first- order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.ACLARACION: Esta publicación está en BioSystems ya que es una edición especial dedicada a "Theory and Practice of Natural Computing", que incluye computación basada no sólo en biología sino también en física.Paper número 104012.
