Pages that link to "Item:Q1292403"

The following pages link to Computable Banach spaces via domain theory (Q1292403):

Displaying 14 items.

• On the domain of formal balls of the Sorgenfrey quasi-metric space (Q266334) (← links)
• Essential and density topologies of continuous domains (Q290633) (← links)
• A domain-theoretic approach to fuzzy metric spaces (Q392568) (← links)
• Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
• A domain-theoretic approach to computability on the real line (Q1274807) (← links)
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
• Foundation of a computable solid modelling. (Q1607293) (← links)
• Effective metric spaces and representations of the reals. (Q1607294) (← links)
• Interpolation functor and computability. (Q1607301) (← links)
• On the construction of domains of formal balls for uniform spaces (Q2447136) (← links)
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls (Q3564344) (← links)
• A quantitative computational model for complete partial metric spaces via formal balls (Q3636910) (← links)
• Complete partial metric spaces have partially metrizable computational models (Q5891573) (← links)
• Complete partial metric spaces have partially metrizable computational models (Q5891574) (← links)