34 citations · 144 across the 66 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Gilles Dowek
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this lan…