Pages that link to "Item:Q3689176"
From MaRDI portal
The following pages link to Recursive functionals and quantifiers of finite types revisited. III (Q3689176):
Displaying 7 items.
- Some modifications of iterated Kleene calculability (Q1097877) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- (Q3748274) (← links)
- Recursive Functionals and Quantifiers of Finite Types Revisited, V (Q3978437) (← links)
- Syntax and Semantics in Higher-Type Recursion Theory (Q4742771) (← links)
- (Q5591512) (← links)