Roberto Di Cosmo. A brief history of rewriting with extensionality. In Fairouz Kamareddine, editor, International Summer School on Type Theory and Rewriting, Glasgow, September 1996. Kluwer. A set of slides on the subject is available as http://www.dicosmo.org/Slides/GLA96.ps.gz.
[ bib ] This file was generated by bibtex2html 1.99.