scientific article; zbMATH DE number 1302672

MaRDI QIDQ4249224zbMATH OpenFDO

Authors Assaf Kfoury

Publication date 16 June 1999

Full work available at URL https://eudml.org/doc/208918

zbMATH Keywords

\(\beta\)-strong normalization of terms\(\beta\)-unification\(\lambda\)-calculusintersection typesundecidability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 3935004
• scientific article; zbMATH DE number 1948184
• Reduction and unification in lambda calculi with a general notion of subtype
• Decidability of bounded higher-order unification
• Unification with extended patterns

Cited in

(9)

• Reduction and unification in lambda calculi with a general notion of subtype
• Principality and type inference for intersection types using expansion variables
• scientific article; zbMATH DE number 1722697 (Why is no real title available?)
• Polar type inference with intersection types and
• Implementing compositional analysis using intersection types with expansion variables
• Intersection typed -calculus
• scientific article; zbMATH DE number 3935004 (Why is no real title available?)
• scientific article; zbMATH DE number 4068831 (Why is no real title available?)
• On strong normalization and type inference in the intersection type discipline

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 Q4249224)