On maximal stable functions

DOI10.1016/0304-3975(94)00167-HMaRDI QIDQ673145zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Maximality and totality of stable functions in the category of stable bifinite domains
• scientific article; zbMATH DE number 1296793
• scientific article; zbMATH DE number 1803236
• Stable neighbourhoods
• On the spaces of the maximal points

Cites work

• scientific article; zbMATH DE number 4212032 (Why is no real title available?)
• scientific article; zbMATH DE number 4050971 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 1318513 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• Linear logic
• Stable neighbourhoods
• The system \({\mathcal F}\) of variable types, fifteen years later
• \(dI\)--domains as prime information systems

Cited in

(1)

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

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)