Uniform completion versus ideal completion of posets with projections
From MaRDI portal
Publication:4923375
DOI10.1016/S1571-0661(05)80050-7zbMATH Open1264.06009OpenAlexW2042879339MaRDI QIDQ4923375FDOQ4923375
Authors: Ralph Kummetz
Publication date: 6 June 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(05)80050-7
Recommendations
Continuous lattices and posets, applications (06B35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- A Powerdomain Construction
- Bases for Chain-complete Posets
- Title not available (Why is that?)
- Metric semantics for concurrency
- Combining data type and recursive process specifications using projection algebras
- Metric completion versus ideal completion
- On functions preserving levels of approximation: A refined model construction for various lambda calculi
- Metric semantics from partial order semantics
Cited In (4)
This page was built for publication: Uniform completion versus ideal completion of posets with projections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923375)