Report - Rewriting with extensionality - Roberto Di Cosmo with extensionality Roberto Di Cosmo LIENS (CNRS) - DMI Ecole Normale Sup´erieure 45, Rue d’Ulm 75005 Paris - France E-mail: [email protected]

Please pass captcha verification before submit form