Computable banach spaces via domain theory

Authors:
Abbas Edalat;Philipp Sünderhauf
Affiliations:
Imperial College, London, UK;Imperial College, London, UK
Venue:
Theoretical Computer Science - Special issue on computability and complexity in analysis
Year:
1999

Citing 0
Cited 6

Domain representations of partial functions, with applications to spatial objects and constructive volume geometry

Theoretical Computer Science
Foundation of a computable solid modelling

Theoretical Computer Science
Effective metric spaces and representations of the reals

Theoretical Computer Science
Interpolation function and computability

Theoretical Computer Science
A quantitative computational model for complete partial metric spaces via formal balls†

Mathematical Structures in Computer Science
Domain theoretic characterisations of quasi-metric completeness in terms of formal balls†

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract