Higher-order representation of substructural logics

DOI10.1145/1863543.1863565zbMath1323.68461OpenAlexW2065563147MaRDI QIDQ5176934

Karl Crary

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/Higher-order_Representation_of_Substructural_Logics/6606116

zbMATH Keywords

modal logiclinear logiclogical frameworksmechanized metatheory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

The calculus of dependent lambda eliminations ⋮ Unnamed Item

This page was built for publication: Higher-order representation of substructural logics