On the largest Cartesian closed category of stable domains

DOI10.1016/j.tcs.2017.01.024zbMath1359.68184OpenAlexW3146736207MaRDI QIDQ517047

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

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (1)

A topology on lattice-ordered groups

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
• A logical approach to stable domains
• An algebraic approach to stable domains
• Stable neighbourhoods
• 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
• Continuous Lattices and Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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