"Lambda-Calculi with Explicit Substitutions and Composition Which Preserve ..."

Maria C. F. Ferreira, Delia Kesner, Laurence Puel (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics