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…