Roberto Di Cosmo, Adolfo Piperno: Expanding Extensional Polymorphism. TLCA 1995: 139-153