Non-trivial Power Types Can't Be Subtypes of Polymorphic Types

Andrew M. Pitts

Browse the full LICS paper archive.