Normalization and partial evaluation (2000)

by P Dybjer, A Filinski
Venue:In APPSEM, LNCS 2395, pp 137–192