Quantitative semantics, topology, and possibility measures

DOI10.1016/S0166-8641(97)00223-XzbMath0927.06004MaRDI QIDQ1295211

Reinhold Heckmann, Michael Huth

Publication date: 13 December 1999

Published in: Topology and its Applications (Search for Journal in Brave)

zbMATH Keywords

complete latticestopological spacespossibility measuresfunction spacecontinuous domainscontinuous latticesorder dualbi-continuous latticesquantitative predicates

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Topological lattices (06B30)

Related Items (7)

Representation of maxitive measures: An overview ⋮ A non-topological view of dcpos as convergence spaces. ⋮ A Duality Theorem for Quantitative Semantics ⋮ Idempotent analysis and continuous semilattices ⋮ Semantics of non-deterministic possibility computation ⋮ A decomposition theorem for maxitive measures ⋮ Domain semantics of possibility computations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• PCF extended with real numbers
• Note on free algebras over continuous domains
• Integration in Real PCF
• A domain equation for bisimulation
• Programming as a Discipline of Mathematical Nature
• A Compositional Approach to Performance Modelling
• Fuzzy sets
• An axiomatic basis for computer programming

This page was built for publication: Quantitative semantics, topology, and possibility measures