The following pages link to Equilogical spaces (Q1826625):
Displaying 28 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Adjunctions on the lattices of partitions and of partial partitions (Q607553) (← links)
- Idempotent block splitting on partial partitions. I: Isotone operators (Q634752) (← links)
- Sheaf toposes for realizability (Q938241) (← links)
- A non-topological view of dcpos as convergence spaces. (Q1427778) (← links)
- Domain representations of topological spaces (Q1583255) (← links)
- Foundation of a computable solid modelling. (Q1607293) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- Comparing Cartesian closed categories of (core) compactly generated spaces (Q1880712) (← links)
- Quantitative coding and complexity theory of compact metric spaces (Q2106606) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- On generalized equilogical spaces (Q2310780) (← links)
- How nice are free completions of categories? (Q2310781) (← links)
- Cartesian closed exact completions in topology (Q2318408) (← links)
- Absolute lax 2-categories (Q2432581) (← links)
- Directed algebraic topology, categories and higher categories (Q2463398) (← links)
- A Convenient Category of Domains (Q2864147) (← links)
- (Q3429780) (← links)
- Reducibility of domain representations and Cantor–Weihrauch domain representations (Q3545272) (← links)
- (Q4675788) (← links)
- A Relationship between Equilogical Spaces and Type Two Effectivity (Q4917046) (← links)
- On the Relationship between Filter Spaces and Weak Limit Spaces (Q4918042) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- (Q5208904) (← links)
