Rudimentary recursion, gentle functions and provident sets (Q2345391)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rudimentary recursion, gentle functions and provident sets |
scientific article |
Statements
Rudimentary recursion, gentle functions and provident sets (English)
0 references
22 May 2015
0 references
rudimentary recursion
0 references
provident set
0 references
provident closure
0 references
gentle function
0 references
attain
0 references
delay
0 references
canonical progress
0 references
strict progress
0 references
solid progress
0 references
