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

by Roel Bloo, Kristoffer Rose
Venue:Subnets of Proof-Nets in MLL