Pages that link to "Item:Q866493"
From MaRDI portal
The following pages link to A general form of relative recursion (Q866493):
Displaying 11 items.
- Introduction to Turing categories (Q998306) (← links)
- Functoriality of modified realizability (Q1683375) (← links)
- Extensions of Scott's graph model and Kleene's second algebra (Q1688948) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- Third-order functionals on partial combinatory algebras (Q2105095) (← links)
- COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS (Q4984865) (← links)
- ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS (Q5015728) (← links)
- A Generalized Modality for Recursion (Q5145323) (← links)
- More on Geometric Morphisms between Realizability Toposes (Q5248247) (← links)
- Effective operations of type 2 in PCAs (Q5740205) (← links)