On the largest Cartesian closed category of stable domains.

DOI10.1016/J.ENTCS.2014.01.011MaRDI QIDQ276408zbMATH OpenOpenAlexWikidataFDO

Authors Xiaoyong Xi, Guohua Wu

Publication date 3 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.01.011

zbMATH Keywords

algebraic bounded complete domainsCartesian closed categoriesdistributive domainsstable mappings

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• On the largest Cartesian closed category of stable domains
• The largest cartesian closed category of stable domains
• The largest Cartesian closed category of domains
• The largest Cartesian closed category of domains, considered constructively
• scientific article; zbMATH DE number 1829710
• A Cartesian closed category of domains with almost algebraic bases
• scientific article; zbMATH DE number 4083878
• scientific article; zbMATH DE number 48416
• scientific article; zbMATH DE number 1159734
• Cartesian closed stable categories

Cites work

• scientific article; zbMATH DE number 3681970 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 517038 (Why is no real title available?)
• scientific article; zbMATH DE number 1159734 (Why is no real title available?)
• scientific article; zbMATH DE number 4118557 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• An algebraic approach to stable domains
• Cartesian closed stable categories
• Computational interpretations of linear logic
• On stable domains
• Stable neighbourhoods
• The largest Cartesian closed category of domains
• The largest cartesian closed category of stable domains

Cited in

(7)

• The largest Cartesian closed category of domains, considered constructively
• \(\mathbb T^\omega\) as a stable universal domain.
• On the largest Cartesian closed category of stable domains
• The largest Cartesian closed category of domains
• Maximality and totality of stable functions in the category of stable bifinite domains
• Exponentials in a Cartesian closed category which contains all algebraic domains
• Cartesian closed stable categories

This page was built for publication: On the largest Cartesian closed category of stable domains.

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