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.
Better Than TripAdvisor
- Holiday destination reviews, hotel information,
pictures, sightseeing advice and food reviews.
Updated: Sat Jul 30 10:57:58 2016
No longer supported by Imperial College Department of Computing
Copyright Denis Howe 1985