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

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25) Categorical methods in general topology (54B30)

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