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.
Updated: Sat Feb 18 01:50:23 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985