A Notion of a Computational Step for Partial Combinatory Algebras (Q4922121)
From MaRDI portal
scientific article; zbMATH DE number 6167745
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Notion of a Computational Step for Partial Combinatory Algebras |
scientific article; zbMATH DE number 6167745 |
Statements
A Notion of a Computational Step for Partial Combinatory Algebras (English)
0 references
28 May 2013
0 references
partial combinatory algebra
0 references
step algebra
0 references
computational step
0 references