Pages that link to "Item:Q4787852"
From MaRDI portal
The following pages link to A Relationship between Equilogical Spaces and Type Two Effectivity (Q4787852):
Displayed 5 items.
- Comparing Cartesian closed categories of (core) compactly generated spaces (Q1880712) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)
- Selection functions, bar recursion and backward induction (Q3559969) (← links)
- Computability of Continuous Solutions of Higher-Type Equations (Q3576051) (← links)
- On the topological aspects of the theory of represented spaces (Q5740207) (← links)