Type preorders and recursive terms

zbMATH Open1272.03072MaRDI QIDQ2851083FDOQ2851083

Authors: Fabio Alessi, Mariangiola Dezani-Ciancaglini 

Publication date: 2 October 2013

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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)