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. |
Year | DOI | Venue |
---|---|---|
2022 | 10.4230/LIPIcs.FSCD.2022.22 | International Conference on Formal Structures for Computation and Deduction (FSCD) |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alejandro Díaz-Caro | 1 | 33 | 7.91 |
Gilles Dowek | 2 | 0 | 1.35 |