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
Complete partial metric spaces have partially metrizable computational models, Complete partial metric spaces have partially metrizable computational models, 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, 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., On the construction of domains of formal balls for uniform spaces, Domain theoretic characterisations of quasi-metric completeness in terms of formal balls, A quantitative computational model for complete partial metric spaces via formal balls
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
