An abstract machine for lambda-terms normalization (1990)

by P Crégut
Venue:In Proc. of LFP’90