scientific article; zbMATH DE number 1759417

MaRDI QIDQ4536366zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama

Publication date 4 November 2002

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Compositional characterisations of \(\lambda\)-terms using intersection types
• Intersection types and termination properties
• Characterisation of normalisation properties for using strict negated intersection types
• Strong normalization and typability with intersection types
• Intersection types and λ-definability

Cited in

(16)

• Behavioural inverse limit -models
• Intersection types for explicit substitutions
• Infinite intersection types
• Compositional characterisations of \(\lambda\)-terms using intersection types
• scientific article; zbMATH DE number 1722661 (Why is no real title available?)
• Simple easy terms
• Reducibility: a ubiquitous method in lambda calculus with intersection types
• Lazy strong normalization
• Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
• scientific article; zbMATH DE number 1512611 (Why is no real title available?)
• Non finitely generated types and λ-terms combinatoric representation cost
• Execution time of λ-terms via denotational semantics and intersection types
• Intersection types and termination properties
• Intersection types and computational rules
• Completeness of intersection and union type assignment systems for call-by-value -models
• 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 Q4536366)