Title: Full abstraction and semantic equivalence
Subjects: Programming languages (Electronic computers), Semantics, Langages de programmation, Sémantique, Abstraction