Generalizing domain theory

MaRDI QIDQ3839064zbMATH OpenFDO

Authors Michael Mislove

Publication date 8 October 1998

zbMATH Keywords

computational modelprocess algebrasemantics of programming languagessurvey of generalizations of domain theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• Some reasons for generalising domain theory
• scientific article; zbMATH DE number 1959534
• Domain theory and topology.
• scientific article; zbMATH DE number 2120509
• scientific article; zbMATH DE number 107999

Cited in

(9)

• Relative consistency and accessible domains
• Special issue on domain theory
• Categorical generalization of a universal domain
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• Some reasons for generalising domain theory
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• scientific article; zbMATH DE number 1337728 (Why is no real title available?)
• A GENERALIZED VERSION OF THE MCMULLEN DOMAIN
• On Natural Non-dcpo Domains

This page was built for publication: Generalizing domain theory

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