Expanding extensional polymorphism (1995)

by R Di Cosmo, A Piperno
Venue:In TLCA