Subtyping Recursive Types Modulo Associative Commutative Products (2005)

by R Di Cosmo, F Pottier, D Rémy
Venue:Typed Lambda Calculi and Applications, TLCA 2005