(1986). Needed reduction and spine strategies for the lambda calculus.
Chicago-Zitierstil (17. Ausg.)Needed Reduction and Spine Strategies for the Lambda Calculus. Amsterdam, 1986.
MLA-Zitierstil (9. Ausg.)Needed Reduction and Spine Strategies for the Lambda Calculus. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.