INVESTIGADORES
DÍAZ CARO Alejandro
artículos
Título:
A linear linear lambda-calculus
Autor/es:
ALEJANDRO DÍAZ-CARO; GILLES DOWEK
Revista:
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Editorial:
CAMBRIDGE UNIV PRESS
Referencias:
Lugar: Cambridge; Año: 2024
ISSN:
0960-1295
Resumen:
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part of a broader research program aiming to define a logic with a proof language that forms a quantum programming language.
