Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent.
To describe the process, let us denote the two semantics by
Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent.
To describe the process, let us denote the two semantics by