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

by P-A Mellies
Venue:In Proc. of TLCA'95