Non-trivial Power Types can't be Subtypes of Polymorphic Types (1989)

by Andrew M. Pitts
Venue:in 4th Annual Symposium on Logic in Computer Science
Citations:6 - 0 self