On the largest Cartesian closed category of stable domains

DOI10.1016/J.TCS.2017.01.024MaRDI QIDQ517047zbMATH OpenOpenAlexFDO

Authors Xiaoyong Xi, Qingyu He, Lingyun Yang

Publication date 16 March 2017

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2017.01.024

zbMATH Keywords

distributivityCartesian closed categorystable bifinite

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)

Recommendations

• A partial solution to an open problem of Amadio and Curien
• On the largest Cartesian closed category of stable domains.
• Weakly Distributive Domains
• Cartesian closed stable categories
• On an open problem of Amadio and Curien: The finite antichain condition

Cites work

• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (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 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A logical approach to stable domains
• A partial solution to an open problem of Amadio and Curien
• An algebraic approach to stable domains
• Computational interpretations of linear logic
• Continuous Lattices and Domains
• Maximality and totality of stable functions in the category of stable bifinite domains
• On an open problem of Amadio and Curien: The finite antichain condition
• On stable domains
• Stable neighbourhoods
• Stone duality and representation of stable domain
• The largest Cartesian closed category of domains
• The largest cartesian closed category of stable domains

Cited in

(10)

• Weakly Distributive Domains
• The largest Cartesian closed category of domains, considered constructively
• A maximal monoidal closed category of distributive algebraic domains
• On the largest Cartesian closed category of stable domains.
• scientific article; zbMATH DE number 517038 (Why is no real title available?)
• A stable universal domain related to \(\mathbb{T}^{\omega}\)
• Maximality and totality of stable functions in the category of stable bifinite domains
• On an open problem of Amadio and Curien: The finite antichain condition
• Cartesian closed stable categories
• A topology on lattice-ordered groups

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