| From B"ohm's Theorem to Observational Equivalences: an Informal Account 1 (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract There are essentially two ways of looking at the computational behaviours of *- terms. One consists in putting the term within a context (possibly of *-calculus extensions) and observing some properties (typically termination). The other consists in reducing the term until some meaningful information is obtained: this naturally leads to a tree representation of the information implicitly contained in the original term. The paper is an informal overview of the role played by B"ohm's Theorem in these observations of terms. Dedicated to Corrado B"ohm on the occasion of the EATCS Distinguished Service Award | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||