Pages that link to "Item:Q1104319"
From MaRDI portal
The following pages link to Kleene computable functionals and the higher order existence property (Q1104319):
Displaying 5 items.
- Sur les équation fonctionelles aux itérées. (On iterated functional equations) (Q910984) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- A transfinite Knuth-Bendix order for lambda-free higher-order terms (Q2405268) (← links)
- Functional Kleene Closures (Q2949712) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)