%0 Conference Proceedings
%F cpr2005
%A Di Cosmo, Roberto
%A Pottier, Francois
%A Remy, Didier
%T Subtyping recursive types modulo associative commutative products
%B Proc. Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)
%D 2005
%K rectype