The following pages link to Quantitative continuous domains (Q1811032):
Displayed 29 items.
- On the domain of formal balls of the Sorgenfrey quasi-metric space (Q266334) (← links)
- Common fixed points in a partially ordered partial metric space (Q355568) (← links)
- Common fixed-point results for nonlinear contractions in ordered partial metric spaces (Q359765) (← links)
- A domain-theoretic approach to fuzzy metric spaces (Q392568) (← links)
- A generalized Meir-Keeler-type contraction on partial metric spaces (Q417121) (← links)
- A generalized contraction principle with control functions on partial metric spaces (Q418388) (← links)
- Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces (Q448710) (← links)
- Complexity spaces as quantitative domains of computation (Q536037) (← links)
- \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps (Q536875) (← links)
- Injective spaces via adjunction (Q615891) (← links)
- Intrinsic approach spaces on domains (Q645198) (← links)
- Fixed point theorems for generalized contractions on partial metric spaces (Q649814) (← links)
- An application of a representation theorem for fuzzy metrics to domain theory (Q679766) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- A Kirk type characterization of completeness for partial metric spaces (Q963594) (← links)
- Yoneda completion via a dcpo completion of its poset of formal balls (Q1744459) (← links)
- Fixed point results for generalized cyclic contraction mappings in partial metric spaces (Q1935063) (← links)
- Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces (Q1952126) (← links)
- A unique common fixed-point theorem for two maps under \(\psi\)-\(\phi\) contractive condition in partial metric spaces (Q1953777) (← links)
- The constructive maximal point space and partial metrizability (Q2575776) (← links)
- (Q2843631) (← 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)
- A quasi-metric computational model from modular functions on monoids (Q3643150) (← links)
- Fixed points of contractive maps on dcpo's (Q5740348) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891573) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891574) (← links)
- (Q6176416) (← links)
- DS-partial metric spaces and domain theory (Q6191250) (← links)