Pages that link to "Item:Q4787859"
From MaRDI portal
The following pages link to Effectivity in Spaces with Admissible Multirepresentations (Q4787859):
Displaying 10 items.
- Extended admissibility. (Q1607303) (← links)
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations (Q1885034) (← links)
- Quantitative coding and complexity theory of compact metric spaces (Q2106606) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- On computability and disintegration (Q4593233) (← links)
- A Relationship between Equilogical Spaces and Type Two Effectivity (Q4787852) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- On the topological aspects of the theory of represented spaces (Q5740207) (← links)
- (Q6161842) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)