%0 Journal Article 
%F hindley83b
%A Hindley, R.
%T Curry's Type-Rules are Complete with Respect to the F-Semantics too
%J Theoretical Computer Science
%V 22
%P 127-133
%D 1983
%K parametricity