The largest cartesian closed category of stable domains

DOI10.1016/0304-3975(95)00191-3zbMath0872.68109OpenAlexW2044288142MaRDI QIDQ671652

Juan-Miguel Gracia

Publication date: 27 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00191-3

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (9)

On the largest Cartesian closed category of stable domains. ⋮ \(\mathbb T^\omega\) as a stable universal domain. ⋮ Cartesian closed categories of \(F\mathcal Z\)-domains ⋮ A stable universal domain related to ^ω ⋮ Quasi-prime algebraic domains ⋮ On the largest Cartesian closed category of stable domains ⋮ A partial solution to an open problem of Amadio and Curien ⋮ Cartesian closed stable categories ⋮ Domains via graphs

Cites Work

• Linear logic
• Cartesian closed categories of algebraic cpos
• Quasi-prime algebraic domains
• On stable domains
• The largest Cartesian closed category of domains
• Event structures and domains
• \(dI\)--domains as prime information systems
• A maximal monoidal closed category of distributive algebraic domains
• A Powerdomain Construction
• Some monoidal closed categories of stable domains and event structures
• Universal quasi-prime algebraic domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The largest cartesian closed category of stable domains