scientific article; zbMATH DE number 517037

MaRDI QIDQ4282565zbMATH OpenFDO

Authors Thomas Ehrhard, Pasquale Malacaria

Publication date 17 April 1994

zbMATH Keywords

algebra of stable open setsdualityframelogic of domains

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Applications of universal algebra in computer science (08A70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• Stone duality and representation of stable domain
• On stable domains
• An algebraic approach to stable domains
• A logical approach to stable domains
• Stable domains are generalized topological spaces

Cited in

(6)

• Stone duality and representation of stable domain
• scientific article; zbMATH DE number 1154167 (Why is no real title available?)
• The largest cartesian closed category of stable domains
• Studying equivalences of transition systems with algebraic tools
• Stable domains are generalized topological spaces
• A logical approach to stable domains

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282565)