1 paper
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker +1
The relational semantics of linear logic is a powerful framework for defining resource-aware models of the I^»-calculus. However, its quantitative aspects are not reflected in the…