Luigia Carlucci Aiello, Gianfranco Prini. An Efficient Interpreter for the Lambda-Calculus. J. Comput. Syst. Sci., 23(3):383-424, 1981.
@article{AielloP81,
title = {An Efficient Interpreter for the Lambda-Calculus},
author = {Luigia Carlucci Aiello and Gianfranco Prini},
year = {1981},
tags = {interpreter},
researchr = {https://researchr.org/publication/AielloP81},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {23},
number = {3},
pages = {383-424},
}