Computable Banach spaces via domain theory
From MaRDI portal
Publication:1292403
DOI10.1016/S0304-3975(98)00288-6zbMath0916.68045MaRDI QIDQ1292403
Abbas Edalat, Philipp Sünderhauf
Publication date: 21 June 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Essential and density topologies of continuous domains ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Effectiveness in RPL, with applications to continuous logic ⋮ On the construction of domains of formal balls for uniform spaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ A domain-theoretic approach to computability on the real line ⋮ Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. ⋮ Foundation of a computable solid modelling. ⋮ Effective metric spaces and representations of the reals. ⋮ Interpolation functor and computability.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Domain representability of metric spaces
- Theory of representations
- A computational model for metric spaces
- A domain-theoretic approach to computability on the real line
- Domain representations of topological spaces
- Computability on computable metric spaces
- Computable functionals of finite types
- Computable functionals
- Complete local rings as domains
- Berechenbare Reelle Funktionen
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Algorithmic operators in constructive metric spaces
- Recursive metric spaces
