A contextual logical framework

DOI10.1007/978-3-662-48899-7_28MaRDI QIDQ3460071zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(4)

• A Logical Approach to Context-Specific Independence
• \textsc{Lincx}: a linear logical framework with first-class contexts
• 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)