Full abstraction
Home
Wiki
Redirect to:
Denotational semantics#Abstraction