%0 Conference Proceedings
%F cugh90
%A Curien, P.
%A Ghelli, G.
%T Coherence of Subsumption
%B Proc. 15th Coll. on Trees in Algebra and Programming (CAAP), Copenhagen, Denmark
%E Arnold, A.
%V 431
%P 132-146
%S Lecture Notes in Computer Science (LNCS)
%I Springer
%8 May
%D 1990
%K rectype