Extending partial combinatory algebras (Q4704765)
From MaRDI portal
scientific article; zbMATH DE number 1369694
Language | Label | Description | Also known as |
---|---|---|---|
English | Extending partial combinatory algebras |
scientific article; zbMATH DE number 1369694 |
Statements
Extending partial combinatory algebras (English)
0 references
25 November 1999
0 references
incompletability
0 references
partial combinatory algebra
0 references
term model
0 references