Lambda-calculi with explicit substitutions and composition which preserve beta-strong normalization (1996)

by Maria C F Ferreira, Delia Kesner, Laurence Puel
Venue:of Lecture Notes in Computer Science