Types are not sets (1973)

by J H Morris
Venue:In Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL ’73