Roberto Di Cosmo, François Pottier, and Didier Rémy. Subtyping recursive types modulo associative commutative products. Typed Lambda Calculus and Applications, 2005.

bib | DOI | Local copy ] This file was generated by bibtex2html 1.98.