Quantitative semantics, topology, and possibility measures

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

Michael Huth, Reinhold Heckmann

Publication date: 13 December 1999

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

zbMATH Keywords

complete lattices; topological spaces; possibility measures; function space; continuous domains; continuous lattices; order dual; bi-continuous lattices; quantitative predicates

Mathematics Subject Classification ID

06B23: Complete lattices, completions

54A05: Topological spaces and generalizations (closure spaces, etc.)

68Q55: Semantics in the theory of computing

06B35: Continuous lattices and posets, applications

06B30: Topological lattices

Related Items

A decomposition theorem for maxitive measures, Domain semantics of possibility computations, A non-topological view of dcpos as convergence spaces., Idempotent analysis and continuous semilattices, Semantics of non-deterministic possibility computation

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