An Abstract Computer With a Lisp-Like Machine Language Without a Label Operator
References (0)
Cited by (1)
The lambda-gamma calculus: A language adequate for defining recursive functions
1970, Information Sciences
Copyright © 1963 North-Holland Publishing Company Amsterdam. Published by Elsevier B.V. All rights reserved.