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.
| < Previous Terms | Terms Containing observational equivalence | Next Terms > |
| Obliq oblique stroke Oblog OBOE OBSCURE | Calculus of Communicating Systems eta conversion extensional equality referential transparency | Oc OC-12 OC-3 OC-48 OCAL |
