Convex powerdomains. II

DOI10.1016/0890-5401(89)90034-5zbMath0673.06004OpenAlexW4206049602MaRDI QIDQ1120607

Karel Hrbacek

Publication date: 1989

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(89)90034-5

zbMATH Keywords

Lawson topologypowerdomainsdenotational semanticscontinuous latticecontinuous posetsFrink idealsorder convex subsets

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Specification and verification (program logics, model checking, etc.) (68Q60) Continuous lattices and posets, applications (06B35)

Related Items (4)

Spectral sets ⋮ Continuous completions ⋮ Duality beyond sober spaces: Topological spaces and observation frames ⋮ Some economic applications of Scott domains

Cites Work

• Convex powerdomains. I
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Convex powerdomains. II