An abstract machine for lambda-terms normalization, in: M. Wand (Ed (1990)

by P Crégut
Venue:Proceedings of the 1990 ACM Conference on Lisp and Functional Programming