5 citations · 6 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
Normal Form Bisimulations By Value
Beniamino Accattoli, Adrienne Lancelot, Claudia Faggian
Normal form bisimilarities are a natural form of program equivalence resting on open terms, first introduced by Sangiorgi in call-by-name. The literature contains a normal form bis…