Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals (Q3699687)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals |
scientific article |
Statements
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals (English)
0 references
1985
0 references
constructive mathematics
0 references
bar recursion
0 references
strong normalizability
0 references
