Maria-Virginia Aponte, Roberto Di Cosmo, and Catherine Dubois. Signature subtyping modulo type isomorphisms. submitted, 1997.

bib | Ps ] This file was generated by bibtex2html 1.99.