%0 Conference Proceedings
%F mendler87
%A Mendler, N.
%T Recursive Types and Type Constraints in Second-Order Lambda Calculus
%B Proc. Symp. on Logic in Computer Science (LICS)
%P 30-36
%D 1987
%K parametricity
%K  rectype