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

DOI10.1016/J.CAMWA.2005.10.014zbMATH Open1134.06005OpenAlexW2086710376MaRDI QIDQ2475889FDOQ2475889

G. Zhang, Yixiang 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

Recommendations

• On maximal stable functions
• A partial solution to an open problem of Amadio and Curien
• On the largest Cartesian closed category of stable domains
• scientific article; zbMATH DE number 517038
• On the largest Cartesian closed category of stable domains.

zbMATH Keywords

domain theorystable functionsmaximalitytotalitystable bifinite domains

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2475889)