H.: Modularity of strong normalization and confluence in the algebraic-λ-cube (1994)

by F Barbanera, M Fernández, Geuvers
Venue:Proceedings of the 9th IEEE Symposium on Logic in Computer Science