Intersection Types and Lambda Theories

Mariangiola Dezani-Ciancaglini Stefania Lusin Intersection Types and Lambda Theories http://arxiv.org/abs/cs.LO/0211011 2002 CoRR cs.LO/0211011 db/journals/corr/corr0211.html#cs-LO-0211011 informal publication