Pages that link to "Item:Q5430138"
From MaRDI portal
The following pages link to On the ubiquity of certain total type structures (Q5430138):
Displaying 14 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- On the \(n\)-uniqueness of types in rosy theories (Q506958) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Computability models over categories and presheaves (Q2151413) (← links)
- On the ubiquity of certain total type structures (extended abstract) (Q2851540) (← links)
- On uniform definability of types over finite sets (Q2892672) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- Heirs of box types in polynomially bounded structures (Q3655254) (← links)
- (Q4585074) (← links)
- The Role of Completeness in the Type Problem for Infinitely Sheeted Planes (Q4820443) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- (Q4944095) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)