18/01/2001: Adolfo Piperno (Univ. Roma La Sapienza)
An algebraic view of the Boehm-out technique.
Résumé
Using an algebraic representation of closed beta-normal forms
in lambda-calculus, we rephrase Boehm's theorem as an equality predicate
between elements of a term algebra. This algebraic interpretation gives
new insight into the Boehm-out technique and allows for original
applications of the method.