ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Realizability in the unitary sphere
Autor/es:
MIQUEL, ALEXANDRE; DIAZ-CARO, ALEJANDRO; VALIRON, BENOIT; GUILLERMO, MAURICIO
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.