Strictness logic and polymorphic invariance (1992)

by P. N. Benton
Venue:In Proc. Logical Found. Comp. Sci
Citations:16 - 2 self