observational equivalence


observational equivalence

Two terms M and N are observationally equivalent iff for allcontexts C[] where C[M] is a valid term, C[N] is also a validterm with the same value.