On maximal stable functions

DOI10.1016/0304-3975(94)00167-HzbMATH Open0873.68129OpenAlexW2046409961MaRDI QIDQ673145FDOQ673145

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)

Cites Work

• \(dI\)--domains as prime information systems
• Title not available (Why is that?)
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

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

   Recommendations

• Maximality and totality of stable functions in the category of stable bifinite domains 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Stable neighbourhoods 👍 👎
• On the spaces of the maximal points 👍 👎

This page was built for publication: On maximal stable functions

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