5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker +1
The relational semantics of linear logic is a powerful framework for defining resource-aware models of the λ-calculus. However, its quantitative aspects are not reflected in the…