Non-trivial power types can't be subtypes of polymorphic types (1989)

by A M Pitts
Venue:Logic in computer science, Proc. 4th Annual Symp., Paci Grove/CA (USA