Content deleted Content added
Yoric~enwiki (talk | contribs) |
Yoric~enwiki (talk | contribs) |
||
Line 48:
=== Preservation of observations ===
This assumes the existence of a notion of observation on both language A and language B. In programming languages, typical observables are results of inputs and outputs, by opposition to pure computation. In a description
; soundness : for every observable <math>obs_A</math> on terms of A, there exists an observable <math>obs_B</math> of terms of B such that for any term <math>T_A</math> with observable <math>obs_A</math>, <math>[T_A]</math> has observable <math>obs_B</math>.
|