Strictness logic and polymorphic invariance (1992)

by P N Benton
Venue:In Proc. Second In- ternational Symposium on Logical Foundations of Computer Science