19 citations · 74 across the 16 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 2 cited
A linear proof language for second-order intuitionistic linear logic
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky +1
We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling…
cs.LO2023
A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
Alejandro Díaz-Caro, Octavio Malherbe
We consider the linear lambda-calculus extended with the sup type constructor, which provides an additive conjunction along with a non-deterministic destructor. The sup type constr…