Stable neighbourhoods

DOI10.1016/0304-3975(92)90215-2zbMath0771.68085OpenAlexW2911669966MaRDI QIDQ1185012

S. Singh

Publication date: 28 June 1992

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

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90215-2

zbMATH Keywords

denotational semanticsstable functionscategory of coherent spacescategory of dI-domains

Mathematics Subject Classification ID

Related Items (11)

On the largest Cartesian closed category of stable domains. ⋮ A logical approach to stable domains ⋮ Stone duality and representation of stable domain ⋮ A monoidal closed category of event structures ⋮ Quasi-prime algebraic domains ⋮ On maximal stable functions ⋮ On the largest Cartesian closed category of stable domains ⋮ \(dI\)--domains as prime information systems ⋮ Maximality and totality of stable functions in the category of stable bifinite domains ⋮ A partial solution to an open problem of Amadio and Curien ⋮ Cartesian closed stable categories

Cites Work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Domain theory in logical form
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stable neighbourhoods