"The Theory of Calculi with Explicit Substitutions Revisited."

Delia Kesner (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics