Needed reduction and spine strategies for the lambda calculus
Under an Elsevier user license
open archive
Cited by (0)
- ∗
Partially supported by the Dutch Parallel Reduction Machine project.
- †
Partially supported by the British ALVEY project.
Copyright © 1987 Published by Elsevier Inc.