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

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