2 citations · 6 across the 11 of their papers we have counts for
1 paper · 2 filters
Francesco Dagnino, Fabio Pasquali
Substructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalenc…