catflap.org Online Dictionary Query |
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
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.