On the largest Cartesian closed category of stable domains.

DOI10.1016/J.ENTCS.2014.01.011zbMATH Open1341.06013OpenAlexW2062840303WikidataQ113317912 ScholiaQ113317912MaRDI QIDQ276408FDOQ276408

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Stable neighbourhoods
• Cartesian closed stable categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)