"Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube"

Franco Barbanera, Maribel Fernández, Herman Geuvers (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics