The Relevance of Semantic Subtyping
From MaRDI portal
Publication:2842838
DOI10.1016/S1571-0661(04)80492-4zbMath1270.03043MaRDI QIDQ2842838
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Yoko Motohama, Alain Frisch
Publication date: 16 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
A typed lambda calculus with intersection types, The semantics of entailment omega, Automated theorem proving by resolution in non-classical logics