19 citations · 74 across the 16 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Octavio Malherbe
We explore a proof language for intuitionistic multiplicative additive linear logic, incorporating the sup connective that introduces additive pairs with a probabilistic eliminatio…