Regular Böhm trees (Q4236203)
From MaRDI portal
scientific article; zbMATH DE number 1268677
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Regular Böhm trees |
scientific article; zbMATH DE number 1268677 |
Statements
Regular Böhm trees (English)
0 references
22 March 1999
0 references
\(\lambda\)-calculus
0 references
decision procedure
0 references
extensional equality of total Böhm trees
0 references
regular systems of recursion equations
0 references
