Pages that link to "Item:Q3978437"
From MaRDI portal
The following pages link to Recursive Functionals and Quantifiers of Finite Types Revisited, V (Q3978437):
Displaying 9 items.
- Recursive functionals (Q1202200) (← links)
- Computational foundations of basic recursive function theory (Q1314348) (← links)
- Recursion on generalized computable ordinals (Q1335905) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Recursive functionals and quantifiers of finite types revisited. III (Q3689176) (← links)
- Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal (Q3717033) (← links)
- The hereditary partial effective functionals and recursion theory in higher types (Q3734394) (← links)
- (Q3748274) (← links)
- (Q5591512) (← links)