An algebraic view of the BΓΆhm-out techni
β
Adolfo Piperno
π
Article
π
1999
π
Elsevier Science
π
English
β 772 KB
Using an algebraic representation of closed /I-normal forms in I-calculus, the Biihm's theorem is rephrased as an equality predicate between elements of a term algebra. The presented algebraic interpretation gives new insight into the B&m-out technique and allows for original applications of the met