A Contextual Logical Framework

DOI10.1007/978-3-662-48899-7_28zbMath1471.03061OpenAlexW2295838772MaRDI QIDQ3460071

Peter Brottveit Bock, Carsten Schuermann

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)

Related Items (2)

LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Unnamed Item

This page was built for publication: A Contextual Logical Framework