Typed -calculi with explicit substitutions may not terminate (1995)

by P-A Melli`es
Venue:In Typed Lambda Calculi and Applications, number 902 in LNCS. Second International Conference TLCA'95