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

by P Crégut
Venue:ACM Conference on Lisp and Functional Programming