On the largest Cartesian closed category of stable domains

DOI10.1016/J.TCS.2017.01.024zbMATH Open1359.68184OpenAlexW3146736207MaRDI QIDQ517047FDOQ517047

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stable neighbourhoods
• 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
• A logical approach to stable domains
• An algebraic approach to stable domains
• Stone duality and representation of stable domain
• A partial solution to an open problem of Amadio and Curien
• 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

Cited In (10)

• The largest Cartesian closed category of domains, considered constructively
• A maximal monoidal closed category of distributive algebraic domains
• Title not available (Why is that?)
• On the largest Cartesian closed category of stable domains.
• 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
• Weakly Distributive Domains

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)