Linear types and approximation (Q2709786)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Linear types and approximation |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear types and approximation |
scientific article |
Statements
Linear types and approximation (English)
0 references
21 August 2001
0 references
continuous lattice
0 references
algebraic lattice
0 references
symmetric monoidal closed category
0 references
domain
0 references
topology
0 references
linear logic
0 references
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.
0 references
