DOI10.4230/LIPIcs.TYPES.2013.129zbMath1359.03014MaRDI QIDQ2968414
Mariangiola Dezani-Ciancaglini, Mario Coppo, Ines Margaria, Maddalena Zacchi
Publication date: 13 March 2017
zbMATH Keywords
lambda calculus; intersection types; type isomorphism
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus