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, The Better Bubbling Lemma
Cites Work
- Unnamed Item
- Unnamed Item
- Polymorphic type inference and containment
- The semantics of entailment. III
- The ``relevance of intersection and union types
- The semantics of entailment omega
- Curry's type-rules are complete with respect to the F-semantics too
- Intersection and union types: Syntax and semantics
- A filter lambda model and the completeness of type assignment
- Semantic subtyping
- Intersection Types as Logical Formulae
- Hyperformulae, Parallel Deductions and Intersection Types
- Intersection and union types