%0 Journal Article 
%F statman85
%A Statman, R.
%T Logical Relations and the Typed Lambda Calculus
%J Information and Control
%V 65
%P 85-97
%D 1985
%K parametricity
%K  typetheory