Towards a fully parallel implementation of the lambda calculus (1984)

by Michael J O'Donnell, Robert I Strandh