The Rewriting Calculus as a Combinatory Reduction System.

Clara Bertolissi, Claude Kirchner

Browse the full FOSSACS paper archive.