Login / Signup

What is an Efficient Implementation of the \lambda-calculus?

Gudmund Skovbjerg FrandsenCarl Sturtivant
Published in: FPCA (1991)
Keyphrases
  • lambda calculus
  • programming language
  • program understanding
  • expert systems
  • pairwise
  • higher order