observational equivalence
Two terms M and N are observationally equivalent iff for all contexts C[] where
C[M] is a valid term, C[N] is also a valid term with the same value.
Nearby terms:
Oblog « OBOE « OBSCURE « observational
equivalence » Oc » OC-12 » OC-3
|