 |
 |
|
 |
 |
|
|
|
|
|
|
Encyclopedia :
O :
OB :
OBS :
Observational equivalence |
|
|
Observational equivalenceTwo terms M and N are observationally equivalent if for all contexts C[] where C[M] is a valid term, C[N] is also a valid term with the same value.
|
|
|
This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License. |
|
| © 2008 Chamas Enterprises Inc. |
