Fully abstract

Redirect to:

  • Denotational semantics#Abstraction