Exponentials in a Cartesian closed category which contains all algebraic domains

DOI10.1007/S10485-014-9378-3zbMATH Open1330.18004OpenAlexW1977886988WikidataQ62038109 ScholiaQ62038109MaRDI QIDQ748705FDOQ748705

Authors: Xiaoyong Xi, Yongming Li 

Publication date: 29 October 2015

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-014-9378-3

Recommendations

• scientific article; zbMATH DE number 1870515
• On the largest Cartesian closed category of stable domains.
• Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
• scientific article; zbMATH DE number 1829710
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains

zbMATH Keywords

way-below relationexponentialalgebraic domainsCartesian closed

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Continuous Lattices and Domains
• Cartesian closed stable categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• The largest Cartesian closed category of domains
• A Powerdomain Construction
• Topology, domain theory and theoretical computer science
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• Domain semantics of possibility computations

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Exponentials in a Cartesian closed category which contains all algebraic domains

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