The Relevance of Semantic Subtyping

DOI10.1016/S1571-0661(04)80492-4zbMath1270.03043OpenAlexW1968426557MaRDI QIDQ2842838

Mariangiola Dezani-Ciancaglini, Yoko Motohama, Elio Giovannetti, Alain Frisch

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80492-4

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Automated theorem proving by resolution in non-classical logics ⋮ The semantics of entailment omega ⋮ A typed lambda calculus with intersection types ⋮ The Better Bubbling Lemma

Cites Work

• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: The Relevance of Semantic Subtyping