A sufficient condition for completability of partial combinatory algebras (Q4382471)
From MaRDI portal
scientific article; zbMATH DE number 1130651
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sufficient condition for completability of partial combinatory algebras |
scientific article; zbMATH DE number 1130651 |
Statements
A sufficient condition for completability of partial combinatory algebras (English)
0 references
17 August 1999
0 references
completeness
0 references
partial combinatory algebra
0 references
completability
0 references
