On the largest Cartesian closed category of stable domains.

DOI10.1016/j.entcs.2014.01.011zbMath1341.06013OpenAlexW2062840303WikidataQ113317912 ScholiaQ113317912MaRDI QIDQ276408

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

Cartesian closed categoriesalgebraic bounded complete domainsdistributive domainsstable mappings

Mathematics Subject Classification ID

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

Cites Work

• The largest cartesian closed category of stable domains
• On stable domains
• Computational interpretations of linear logic
• The largest Cartesian closed category of domains
• An algebraic approach to stable domains
• Stable neighbourhoods
• Cartesian closed stable categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item