Linear types and approximation

DOI10.1017/S0960129500003200zbMath0982.06007MaRDI QIDQ2709786

Michael Huth, Achim Jung, Klaus Keimel

Publication date: 21 August 2001

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

zbMATH Keywords

topologylinear logiccontinuous latticedomainalgebraic latticesymmetric monoidal closed category

Mathematics Subject Classification ID

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

Related Items (3)

The Scott model of linear logic is the extensional collapse of its relational model ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Consistent-linear \textit{FS}-domains

This page was built for publication: Linear types and approximation