Login / Signup
Needed Reduction and Spine Strategies for the Lambda Calculus
Hendrik Pieter Barendregt
Richard Kennaway
Jan Willem Klop
M. Ronan Sleep
Published in:
Inf. Comput. (1987)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
program understanding
database query languages