Email this page to a friend

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