An algebraic view of the Böhm-out technique

✍ Scribed by Adolfo Piperno

• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 772 KB
• Volume: 212
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(98)00142-x

✦ Synopsis

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 method.