scientific article; zbMATH DE number 2062377

zbMATH Open1048.03012MaRDI QIDQ4459274FDOQ4459274

Authors: Martin W. Bunder 

Publication date: 28 March 2004

Title of this publication is not available (Why is that?)

Recommendations

• Intersection types for λGtz-calculus
• scientific article; zbMATH DE number 1841834
• Intersection types for lambda-terms and combinators and their logics
• Intersection Types as Logical Formulae
• The ``relevance of intersection and union types

zbMATH Keywords

lambda calculusintuitionistic implicational logictype assignment systemintersection type theoryMeyer-Routley minimal relevance logic

Mathematics Subject Classification ID

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

Cited In (4)

• A binary modal logic for the intersection types of lambda-calculus.
• The semantics of entailment omega
• Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
• The better bubbling lemma

This page was built for publication:

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