scientific article; zbMATH DE number 3880074

MaRDI QIDQ3345747zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Ines Margaria

Publication date 1984

zbMATH Keywords

F-completenessF-semanticsF-soundnesslambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A characterization of F-complete type assignments
• \(F\)-semantics for type assignment systems
• Complete restrictions of the intersection type discipline
• Intersection types and lambda models
• A complete characterization of complete intersection-type preorders

Cited in

(8)

• A characterization of F-complete type assignments
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• Polymorphic type inference and containment
• Complete restrictions of the intersection type discipline
• Types with intersection: An introduction
• \(F\)-semantics for type assignment systems
• Intersection type assignment systems
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

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