scientific article; zbMATH DE number 2062377

MaRDI QIDQ4459274zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 28 March 2004

zbMATH Keywords

intersection type theoryintuitionistic implicational logiclambda calculusMeyer-Routley minimal relevance logictype assignment system

Mathematics Subject Classification ID

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

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

Cited in

(4)

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

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)