%0 Journal Article 
%F hindley83a
%A Hindley, R.
%T The Completeness Theorem for Typing Lambda-Terms
%J Theoretical Computer Science
%V 22
%P 1-17
%D 1983
%K parametricity