Recommendations
Cites work
- Domain theory in logical form
- scientific article; zbMATH DE number 3976319 (Why is no real title available?)
- scientific article; zbMATH DE number 3654118 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 3594646 (Why is no real title available?)
- scientific article; zbMATH DE number 730303 (Why is no real title available?)
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- Linear logic
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(14)- dI--domains as prime information systems
- Stone duality and representation of stable domain
- A partial solution to an open problem of Amadio and Curien
- Maximality and totality of stable functions in the category of stable bifinite domains
- Cartesian closed stable categories
- On the largest Cartesian closed category of stable domains.
- scientific article; zbMATH DE number 3952012 (Why is no real title available?)
- scientific article; zbMATH DE number 1296793 (Why is no real title available?)
- On the largest Cartesian closed category of stable domains
- A monoidal closed category of event structures
- Quasi-prime algebraic domains
- On maximal stable functions
- Stability and computability in coherent domains
- A logical approach to stable domains
This page was built for publication: Stable neighbourhoods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1185012)
