The largest cartesian closed category of stable domains
From MaRDI portal
Publication:671652
DOI10.1016/0304-3975(95)00191-3zbMATH Open0872.68109OpenAlexW2044288142MaRDI QIDQ671652FDOQ671652
Authors: 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
Recommendations
Cites Work
- \(dI\)--domains as prime information systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- 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?)
- On stable domains
- The largest Cartesian closed category of domains
- A Powerdomain Construction
- Cartesian closed categories of algebraic cpos
- Title not available (Why is that?)
- Title not available (Why is that?)
- Event structures and domains
- A maximal monoidal closed category of distributive algebraic domains
- Title not available (Why is that?)
- Some monoidal closed categories of stable domains and event structures
- Title not available (Why is that?)
- Universal quasi-prime algebraic domains
- Quasi-prime algebraic domains
Cited In (10)
- \(\mathbb T^\omega\) as a stable universal domain.
- On the largest Cartesian closed category of stable domains.
- A partial solution to an open problem of Amadio and Curien
- On the largest Cartesian closed category of stable domains
- On stable domains
- A stable universal domain related to \(\mathbb{T}^{\omega}\)
- Domains via graphs
- Cartesian closed stable categories
- Cartesian closed categories of \(F\mathcal Z\)-domains
- Quasi-prime algebraic domains
This page was built for publication: 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 Q671652)
