Multi-type recursive functions (Q5063599)
From MaRDI portal
scientific article; zbMATH DE number 7494328
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-type recursive functions |
scientific article; zbMATH DE number 7494328 |
Statements
Multi-type recursive functions (English)
0 references
21 March 2022
0 references
multi-type recursive function
0 references
multi-type primitive recursive function
0 references
function evaluator
0 references
