Subtyping recursive types modulo associative commutative products (2005)

by R D Cosmo, F Pottier, D Rémy
Venue:In TLCA 2005