No label defined (Q4362933)
From MaRDI portal
scientific article; zbMATH DE number 1086682
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1086682 |
Statements
13 November 1997
0 references
partial combinatory algebras
0 references
logics for partiality
0 references
call-by-value logic
0 references
call-by-name logic
0 references
logic of partial terms
0 references
partial combinatory logic
0 references
