Pages that link to "Item:Q3717039"
From MaRDI portal
The following pages link to Axiomatic recursion theory and the continuous functionals (Q3717039):
Displaying 11 items.
- Unconventional algorithms: complementarity of axiomatics and construction (Q406192) (← links)
- Type 2 recursion theory (Q1073021) (← links)
- Recursive functionals (Q1202200) (← links)
- Closing the gap between the continuous functionals and recursion in \(^3E\) (Q1387093) (← links)
- Axiomatization and the antimean function on paths (Q2931923) (← links)
- (Q3340833) (← 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)
- Recursive Functionals and Quantifiers of Finite Types Revisited, V (Q3978437) (← links)
- (Q4876432) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)