On the ubiquity of certain total type structures (Q5430138): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Impredicativity entails untypedness
@@ Property / cites work: Impredicativity entails untypedness / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Local realizability toposes and a modal logic for computability
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction, totality and PCF
@@ Property / cites work: Full abstraction, totality and PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Filter spaces and continuous functionals
@@ Property / cites work: Filter spaces and continuous functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+\(\mathbb{T}^\omega\) as a universal domain
@@ Property / cites work: \(\mathbb{T}^\omega\) as a universal domain / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Continuous Functionals
@@ Property / cites work: A Note on Continuous Functionals / rank @@
+Normal rank
@@ Property / cites work @@
+The modified realizability topos
@@ Property / cites work: The modified realizability topos / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Cartesian closed categories of (core) compactly generated spaces
+Normal rank
@@ Property / cites work @@
+Hyperfinite type structures
@@ Property / cites work: Hyperfinite type structures / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing hierarchies of total functionals
@@ Property / cites work: Comparing hierarchies of total functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Computability over the partial continuous functionals
+Normal rank
@@ Property / cites work @@
+Hereditarily effective operations
@@ Property / cites work: Hereditarily effective operations / rank @@
+Normal rank
@@ Property / cites work @@
+Theorems of the Prüfer-Kulikov type
@@ Property / cites work: Theorems of the Prüfer-Kulikov type / rank @@
+Normal rank
@@ Property / cites work @@
+Everywhere-defined continuous functionals
@@ Property / cites work: Everywhere-defined continuous functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphisms between HEO and HRO<sup>E</sup>, ECF and ICF<sup>E</sup>
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Computability and totality in domains
@@ Property / cites work: Computability and totality in domains / rank @@
+Normal rank
@@ Property / cites work @@
+Total sets and objects in domain theory
@@ Property / cites work: Total sets and objects in domain theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5430138