A partial solution to an open problem of Amadio and Curien

DOI10.1016/j.ic.2018.04.003zbMath1391.68074OpenAlexW2803019536WikidataQ129914607 ScholiaQ129914607MaRDI QIDQ1753999

Hui Kou, Xiaoyong Xi, Jin-bo Yang

Publication date: 30 May 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2018.04.003

zbMATH Keywords

Cartesian closed categorydiamond latticestable 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)

On the largest Cartesian closed category of stable domains

Cites Work

• Linear logic
• 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
• 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
• A stable universal domain related to ^ω
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A partial solution to an open problem of Amadio and Curien