"Rewriting Calculus with(out) Types."

Horatiu Cirstea, Claude Kirchner, Luigi Liquori (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics