An algebraic view of the Böhm-out technique (Q1275631)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic view of the Böhm-out technique |
scientific article |
Statements
An algebraic view of the Böhm-out technique (English)
0 references
12 January 1999
0 references
lambda-calculus
0 references
Böhm trees
0 references
combinatory equations
0 references
separability
0 references
