2 papers
cs.LO2026
Interaction Improvement
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…
cs.LO2024
Interaction Equivalence
Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto +1
Contextual equivalence is the de facto standard notion of program equivalence. A key theorem is that contextual equivalence is an equational theory. Making contextual equivalence m…