Characterizing explicit substitutions which preserve termination (1999)

by E Ritter
Venue:In Typed Lambda Calculi and Applications