0 in a way that involves watching someone or something carefully and closely, in order to learn something:
Observationally and experimentally we have demonstrated this.
The two models are observationally equivalent.
Two expressions/configurations are said to be observationally equivalent if they give rise to the same observations, suitably defined, inside all observing contexts.
They are observationally equivalent, but cannot be proved equal in the call-by-value lambda calculus.
This is the point of the requirement that should be observationally sensible: any branching in the code must be governed by directly observable properties.
A derived signature morphism : is observationally sensible if it maps -operations to observationally sensible terms.
Two -models are observationally equivalent if and only if their observational quotients are isomorphic.
