Needed reduction and Spine Strategies for the lambda calculus
SourceInformation and Computation, 75, 3, (1987), pp. 191-231
Article / Letter to editor
Display more detailsDisplay less details
Information and Computation
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.