On maximal stable functions

DOI10.1016/0304-3975(94)00167-HzbMath0873.68129OpenAlexW2046409961MaRDI QIDQ673145

Juan-Miguel Gracia

Publication date: 28 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00167-h

zbMATH Keywords

dI-domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

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

Cites Work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Stable neighbourhoods
• \(dI\)--domains as prime information systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On maximal stable functions