A quasi-metric computational model from modular functions on monoids

DOI10.1080/00207160802691652zbMath1184.68250OpenAlexW2142853324MaRDI QIDQ3643150

Oscar Valero, Salvador Romaguera

Publication date: 10 November 2009

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160802691652

zbMATH Keywords

Scott topologycomputational modelmonoidweightable quasi-metricdomain of wordsinterval domain\(\varepsilon \)-modular function

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Continuous lattices and posets, applications (06B35) General topics in the theory of computing (68Q01)

Related Items (3)

Fractal dimension for fractal structures: applications to the domain of words ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial metric monoids and semivaluation spaces
• The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• PCF extended with real numbers
• A characterization of partial metrizability: Domains are quantifiable.
• Quantitative continuous domains
• Continuous Lattices and Domains
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• On the structure of the space of complexity partial functions
• Partial metrisability of continuous posets

This page was built for publication: A quasi-metric computational model from modular functions on monoids