A simplified account of the metatheory of linear LF

zbMATH Open1270.03053MaRDI QIDQ2844807FDOQ2844807

Authors: Joseph C. Vanderwaart, Karl Crary 

Publication date: 19 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805036

Recommendations

• Mechanizing the metatheory of LF
• A meta linear logical framework
• A focused linear logical framework and its application to metatheory of object logics
• Formalized meta-theory of sequent calculi for linear logics
• scientific article; zbMATH DE number 1303348
• Focusing in Linear Meta-logic
• A simplified semantics for a fragment of intuitionistic linear logic
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 1746564
• A fresh view of linear logic as a logical framework

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (4)

• Mechanizing the metatheory of LF
• A linear logical framework
• A meta linear logical framework
• A logical framework with explicit conversions

This page was built for publication: A simplified account of the metatheory of linear LF

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