The largest cartesian closed category of stable domains
From MaRDI portal
Publication:671652
DOI10.1016/0304-3975(95)00191-3zbMath0872.68109MaRDI QIDQ671652
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
68Q55: Semantics in the theory of computing
Related Items
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