INVESTIGADORES
DÍAZ CARO Alejandro
artículos
Título:
Realizability in the unitary sphere
Autor/es:
DIAZ-CARO, ALEJANDRO; GUILLERMO, MAURICIO; MIQUEL, ALEXANDRE; VALIRON, BENOIT
Revista:
Proceedings - Symposium on Logic in Computer Science
Editorial:
Institute of Electrical and Electronics Engineers Inc.
Referencias:
Año: 2019 vol. 2019
ISSN:
1043-6871
Resumen:
In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a long standing issue. We derive from the semantics a set of typing rules for a simply-typed linear algebraic lambda-calculus, and show how it extends both to classical and quantum lambda-calculi.