Roberto Di Cosmo. Réécriture avec axiomes extensionnels et isomorphismes de types. Habilitation à diriger des recherches, Université de Paris VII, 2, place Jussieu - 75005 Paris, April 1998.

bib ] This file was generated by bibtex2html 1.99.