Rewriting with Extensional Polymorphic Lambda-Calculus.

Roberto Di Cosmo, Delia Kesner

Browse the full CSL paper archive.