Intersection Types as Logical Formulae

DOI10.1093/LOGCOM/4.2.109MaRDI QIDQ4291035zbMATH OpenOpenAlexFDO

Authors Betti Venneri

Publication date 3 November 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/bb00621d5dacb2da63b229e0f5fc3f059cdffc08

zbMATH Keywords

combinatory logiclambda calculustype assignmentintersection types

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1841834
• Intersection types for lambda-terms and combinators and their logics
• Intersection types from a proof-theoretic perspective
• Intersection logic in sequent calculus style

Cited in

(20)

• Hyperformulae, parallel deductions and intersection types
• The emptiness problem for intersection types
• scientific article; zbMATH DE number 7559294 (Why is no real title available?)
• Intersection logic in sequent calculus style
• Intersection typed \(\lambda \)-calculus
• The relevance of semantic subtyping
• A binary modal logic for the intersection types of lambda-calculus.
• Intersection types from a proof-theoretic perspective
• Finite combinatory logic with intersection types
• Inhabitation of Low-Rank Intersection Types
• A classification of intersection type systems
• The semantics of entailment omega
• Intersection types for lambda-terms and combinators and their logics
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• scientific article; zbMATH DE number 1841834 (Why is no real title available?)
• scientific article; zbMATH DE number 2062377 (Why is no real title available?)
• A typed lambda calculus with intersection types
• Intersection types for combinatory logic
• The ``relevance of intersection and union types
• Kripke semantics for intersection formulas

This page was built for publication: Intersection Types as Logical Formulae

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4291035)