On the largest Cartesian closed category of stable domains
From MaRDI portal
(Redirected from Publication:517047)
Recommendations
Cites work
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 48416 (Why is no real title available?)
- scientific article; zbMATH DE number 3594646 (Why is no real title available?)
- scientific article; zbMATH DE number 1229489 (Why is no real title available?)
- scientific article; zbMATH DE number 517038 (Why is no real title available?)
- scientific article; zbMATH DE number 1159734 (Why is no real title available?)
- scientific article; zbMATH DE number 4118557 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- A logical approach to stable domains
- A partial solution to an open problem of Amadio and Curien
- An algebraic approach to stable domains
- Computational interpretations of linear logic
- Continuous Lattices and Domains
- 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
- On stable domains
- Stable neighbourhoods
- Stone duality and representation of stable domain
- The largest Cartesian closed category of domains
- The largest cartesian closed category of stable domains
Cited in
(10)- Weakly Distributive Domains
- The largest Cartesian closed category of domains, considered constructively
- A maximal monoidal closed category of distributive algebraic domains
- On the largest Cartesian closed category of stable domains.
- scientific article; zbMATH DE number 517038 (Why is no real title available?)
- A stable universal domain related to \(\mathbb{T}^{\omega}\)
- 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
- Cartesian closed stable categories
- A topology on lattice-ordered groups
This page was built for publication: On 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 Q517047)