3 papers
cs.LO2026
Mirroring Call-by-Need, or Values Acting Silly
Beniamino Accattoli, Adrienne Lancelot
Call-by-need evaluation for the lambda-calculus can be seen as merging the best of call-by-name and call-by-value, namely the wise erasing behaviour of the former and the wise dupl…
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…