Preservation of strong normalization in named lambda calculi with explicit substitution and garbage collection (1995)

by R Bloo, K H Rose
Venue:In Computer Science in the Netherlands (CSN’95), 62–72