INVESTIGADORES
DÍAZ CARO Alejandro
artículos
Título:
Linear lambda-calculus is linear
Autor/es:
ALEJANDRO DÍAZ-CARO; GILLES DOWEK
Revista:
Leibniz International Proceedings in Informatics
Editorial:
Schloss Dagstuhl
Referencias:
Año: 2022 vol. 228
ISSN:
1868-8969
Resumen:
We prove a linearity theorem for an extension of linear logic with addition and multiplication by a scalar: the proofs of some propositions in this logic are linear in the algebraic sense. This work is part of a wider research program that aims at defining a logic whose proof language is a quantum programming language.
