A contextual logical framework

DOI10.1007/978-3-662-48899-7_28zbMATH Open1471.03061OpenAlexW2295838772MaRDI QIDQ3460071FDOQ3460071

Authors: Peter Brottveit Bock, Carsten Schürmann 

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_28

Recommendations

• \textsc{Lincx}: a linear logical framework with first-class contexts
• scientific article; zbMATH DE number 2110615
• A linear logical framework
• A meta linear logical framework
• An open logical framework

Mathematics Subject Classification ID

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

Cited In (4)

• \textsc{Lincx}: a linear logical framework with first-class contexts
• A Logical Approach to Context-Specific Independence
• Abstract semantic dependency
• Multimodal dependent type theory

This page was built for publication: A contextual logical framework

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