Needed Reduction and Spine Strategies for the Lambda Calculus
Information and Computation - United States
doi 10.1016/0890-5401(87)90001-0
Full Text
Open PDFAbstract
Available in full text
Categories
Date
December 1, 1987
Authors
Publisher
Elsevier BV