%0 Conference Proceedings
%F reynolds91
%A Reynolds, J.
%T The Coherence of Languages with Intersection Types
%B Proc. Int'l Conf. on Theoretical Aspects of Computer Science (TACS), Sendai, Japan
%I Springer
%8 September
%D 1991
%K parametricity