Abstract Böhm trees (Q4236200)
From MaRDI portal
scientific article; zbMATH DE number 1268674
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstract Böhm trees |
scientific article; zbMATH DE number 1268674 |
Statements
Abstract Böhm trees (English)
0 references
28 October 1999
0 references
view abstract machine
0 references
multi-category
0 references
trees with pointers
0 references
abstract Böhm trees
0 references
cut-free proofs
0 references
normal terms
0 references
\(\lambda\)-calculus based languages
0 references
game models
0 references
Novikov's infinitary propositional logic
0 references
