Report - Higher Categories and Rewriting - math.univ-lyon1.frmath.univ-lyon1.fr/.../FrancoisMetayer.pdf · Higher Categories and Rewriting Fran˘cois M etayer Laboratoire PPS Universit e Paris

Please pass captcha verification before submit form