Linear types and approximation

DOI10.1017/S0960129500003200MaRDI QIDQ2709786zbMATH OpenFDO

Authors Michael Huth, Achim Jung, Klaus Keimel

Publication date 21 August 2001

Published in MSCS. Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129500003200

zbMATH Keywords

algebraic latticecontinuous latticedomainlinear logicsymmetric monoidal closed categorytopology

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Review text

The authors introduce FS-lattices and establish their connections to domain theory, topology and linear logic. In particular, while the category Cont of continuous lattices together with maps preserving all joins is not \(\ast\)-autonomous, its full subcategory consisting of FS-lattices is. In addition, it is maximal with this property (under one extra condition). Distributive FS-lattices are precisely completely distributive lattices and algebraic FS-lattices also form a \(\ast\)-autonomous category.

Recommendations

• Linear domains and linear maps
• scientific article; zbMATH DE number 1154167
• Consistent-linear \textit{FS}-domains
• *-Autonomous categories and linear logic
• scientific article; zbMATH DE number 1499095

Cited in

(10)

• Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains
• A type-assignment of linear erasure and duplication
• Consistent-linear \textit{FS}-domains
• Integrating linear and dependent types
• The Scott model of linear logic is the extensional collapse of its relational model
• scientific article; zbMATH DE number 1154167 (Why is no real title available?)
• Linear domains and linear maps
• Two-dimensional Kripke semantics. II: Stability and completeness
• A profunctorial Scott semantics
• Infinitary refinement types for temporal properties in Scott domains

This page was built for publication: Linear types and approximation

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