Year: 2022
Type: article
Abstract: 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.
Authors: Díaz-Caro, Alejandro, Dowek, Gilles
Institutions: National University of Quilmes, Consejo Nacional de Investigaciones Científicas y Técnicas, Universidad de Buenos Aires, Institut national de recherche en sciences et technologies du numérique, École Normale Supérieure - PSL, DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4318255431