Maximality and totality of stable functions in the category of stable bifinite domains
From MaRDI portal
Publication:2475889
DOI10.1016/j.camwa.2005.10.014zbMath1134.06005MaRDI QIDQ2475889
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
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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