On the ubiquity of certain total type structures
From MaRDI portal
Publication:5430138
DOI10.1017/S0960129507006251zbMath1132.03019MaRDI QIDQ5430138
Publication date: 12 December 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Kleene-Kreisel continuous functionalshereditarily effective operationshigher-type computabilityextensional collapse
Related Items
A constructive manifestation of the Kleene-Kreisel continuous functionals, Computability models over categories and presheaves, Interpreting Localized Computational Effects Using Operators of Higher Type, Some reasons for generalising domain theory, Introduction to Turing categories, Unnamed Item, Aspects of Categorical Recursion Theory
Cites Work
- The modified realizability topos
- Notions of computation and monads
- \(\mathbb{T}^\omega\) as a universal domain
- Total sets and objects in domain theory
- Theorems of the Prüfer-Kulikov type
- LCF considered as a programming language
- Hereditarily effective operations
- Fully abstract models of typed \(\lambda\)-calculi
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Everywhere-defined continuous functionals
- The sequentially realizable functionals
- Comparing Cartesian closed categories of (core) compactly generated spaces
- Filter spaces and continuous functionals
- Computability and totality in domains
- Local realizability toposes and a modal logic for computability
- Impredicativity entails untypedness
- Recursive Functionals and Quantifiers of Finite Types I
- Isomorphisms between HEO and HROE, ECF and ICFE
- Data Types as Lattices
- Full abstraction, totality and PCF
- Computability over the partial continuous functionals
- Hyperfinite type structures
- Comparing hierarchies of total functionals
- A Note on Continuous Functionals
