%O Generic 
%F reynolds87
%A Reynolds, J.
%T A Short History of Set-Theoretic Models of the Polymorphic Typed Lambda Calculus
%D 0
%K parametricity