Strictness logic and polymorphic invariance (1992)

by P N Benton
Venue:Proc. of the 2. International Symposium on Logical Foundations of Computer Science