Maximality and totality of stable functions in the category of stable bifinite domains

DOI10.1016/j.camwa.2005.10.014zbMath1134.06005OpenAlexW2086710376MaRDI QIDQ2475889

Guoqiang Zhang, Yi-Xiang Chen

Publication date: 11 March 2008

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2005.10.014

zbMATH Keywords

maximalitydomain theorytotalitystable functionsstable bifinite domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (3)

On the largest Cartesian closed category of stable domains ⋮ A partial solution to an open problem of Amadio and Curien ⋮ Domain semantics of possibility computations

Cites Work

• Linear logic
• On maximal stable functions
• On stable domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Stable neighbourhoods
• On an open problem of Amadio and Curien: The finite antichain condition
• Games and full completeness for multiplicative linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Maximality and totality of stable functions in the category of stable bifinite domains