observational equivalencecomputing dictionary

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.

(01 May 2000)

observant, observantine, observation, observation < Prev | Next > observer, observer variation, obsession

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums