Non-stable models of linear logic

DOI10.1007/BFB0023875MaRDI QIDQ2757813zbMATH OpenFDO

Authors R. Hoofman

Publication date 4 December 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0023875

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Recommendations

• Localisation and interaction in one dimension
• Non-uniform hypercoherences
• A model of intuitionistic affine logic from stable domain theory
• scientific article; zbMATH DE number 2079022
• Models of linear logic

Cited in

(12)

• The shuffle quasimonad and modules with differentiation and integration
• Comparing hierarchies of types in models of linear logic
• Non-uniform hypercoherences
• Localisation and interaction in one dimension
• Linearly Stratified Models for the Foundations of Nonstandard Mathematics
• scientific article; zbMATH DE number 786488 (Why is no real title available?)
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Quantitative domains, groupoids and linear logic
• Stable bistructure models of PCF (preliminary draft)
• Cones as a model of intuitionistic linear logic
• Comparing models of the intensional typed -calculus
• Quasi-prime algebraic domains

This page was built for publication: Non-stable models of linear logic

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