A classification of intersection type systems

DOI10.2178/JSL/1190150049MaRDI QIDQ4532620zbMATH OpenOpenAlexFDO

Authors Martin W. Bunder

Publication date 2002

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://ro.uow.edu.au/cgi/viewcontent.cgi?article=3659&context=eispapers

zbMATH Keywords

cut eliminationequivalence of intersection type systemsintersection type system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Intersection-types à la Church
• Towards an intersection typed system à la Church
• Types with intersection: An introduction
• Intersection typed -calculus
• Strict intersection types for the lambda calculus

Cites work

• A filter lambda model and the completeness of type assignment
• A new type assignment for λ-terms
• Complete restrictions of the intersection type discipline
• Intersection Types as Logical Formulae
• Intersection types for lambda-terms and combinators and their logics
• Types with intersection: An introduction

Cited in

(8)

• Intersection types for combinatory logic
• Types with intersection: An introduction
• Intersection type assignment systems
• Towards an intersection typed system à la Church
• scientific article; zbMATH DE number 2185668 (Why is no real title available?)
• scientific article; zbMATH DE number 177773 (Why is no real title available?)
• scientific article; zbMATH DE number 1482191 (Why is no real title available?)
• Intersection types and computational rules

This page was built for publication: A classification of intersection type systems

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