Conservation and uniform normalization in lambda calculi with erasing reductions (1999)

by Mller Neergaard, P, M H Srensen
Venue:Information and Computation