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

by A M Pitts
Venue:In Proc. 4th LICS Symposium