An abstract machine for the normalization of λ-terms (1990)

by P Crégut
Venue:In Proc. of the ACM Conf. on Lisp and Functional Programming