scientific article; zbMATH DE number 742722

MaRDI QIDQ4327832zbMATH OpenFDO

Authors Frank J. Oles, Michael Mislove

Publication date 10 September 1995

zbMATH Keywords

algebraic cpo'sCartesian closed categorycategories of domainsScott domainssemantics

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1850927
• Adjunction in 2-categories
• On categories generalizing universal domains
• Remarks on classifications and adjunctions
• scientific article; zbMATH DE number 48416
• scientific article; zbMATH DE number 4083878
• scientific article; zbMATH DE number 1740252
• Soft adjunction between 2-categories
• scientific article; zbMATH DE number 956838
• Categorical generalization of a universal domain

Cited in

(14)

• The dependent product construction in various categories of domains
• Completeness of the category CDCPO and its subcategories
• Relative injectivity as cocompleteness for a class of distributors
• scientific article; zbMATH DE number 3920750 (Why is no real title available?)
• scientific article; zbMATH DE number 3986621 (Why is no real title available?)
• scientific article; zbMATH DE number 4061467 (Why is no real title available?)
• scientific article; zbMATH DE number 1775339 (Why is no real title available?)
• scientific article; zbMATH DE number 3995944 (Why is no real title available?)
• scientific article; zbMATH DE number 1850927 (Why is no real title available?)
• Various constructions of continuous information systems
• Adjointness in recursion
• Pseudo-retract functors for local lattices and bifinte L-domains
• The largest Cartesian closed category of domains
• Information systems revisited -- the general continuous case

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 Q4327832)