Login / Signup

Needed Reduction and Spine Strategies for the Lambda Calculus

Hendrik Pieter BarendregtRichard KennawayJan Willem KlopM. Ronan Sleep
Published in: Inf. Comput. (1987)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • database query languages