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.

Try this search on Wikipedia, OneLook, Google

Nearby terms: Oblog « OBOE « OBSCURE « observational equivalence » Oc » OC-12 » OC-3


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.