%0 Conference Proceedings
%F badc91
%A Barbanera, F.
%A Dezani-Ciancaglini, M.
%T Intersection and Union Types
%B Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan
%E Ito, T.
%E Meyer, A.
%P 651-674
%I Springer
%8 September
%D 1991
%K typetheory