Type preorders and recursive terms

MaRDI QIDQ2851083zbMATH OpenFDO

Authors Fabio Alessi, Mariangiola Dezani-Ciancaglini

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050577

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1456951
• Intersection types and domain operators
• A complete characterization of complete intersection-type preorders
• Infinite intersection types
• Intersection types and computational rules

Cited in

(4)

• Order-sorted inductive types
• Numbering matters
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Intersection types and domain operators

This page was built for publication: Type preorders and recursive terms

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