Contextual equivalence

Redirect to:

• Observational equivalence