Copyright © Philip M. Parker, INSEAD. Terms of Use.
| Domain | Definition |
Computing | Observational equivalence 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. Source: The Free On-line Dictionary of Computing. |
Source: compiled by the editor from various references; see credits. | |
Crosswords: OBSERVATIONAL EQUIVALENCE |
| Specialty definitions using "OBSERVATIONAL EQUIVALENCE": Calculus of Communicating Systems ♦ eta conversion. (references) |
Hexadecimal (or equivalents, 770AD-1900s) (references)4F 42 53 45 52 56 41 54 49 4F 4E 41 4C 45 51 55 49 56 41 4C 45 4E 43 45 |
| Leonardo da Vinci (1452-1519; backwards) (references)
|
Binary Code (1918-1938, probably earlier) (references)01001111 01000010 01010011 01000101 01010010 01010110 01000001 01010100 01001001 01001111 01001110 01000001 01001100 00100000 01000101 01010001 01010101 01001001 01010110 01000001 01001100 01000101 01001110 01000011 01000101 |
HTML Code (1990) (references)O B S E R V A T I O N A L   E Q U I V A L E N C E |
ISO 10646 (1991-1993) (references)004F 0042 0053 0045 0052 0056 0041 0054 0049 004F 004E 0041 004C 0045 0051 0055 0049 0056 0041 004C 0045 004E 0043 0045 |
Encryption (beginner's substitution cypher): (references)4936533952563554434948354623951554356354639483739 |
| 1. Crosswords 2. Orthography 3. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.
