Return to Article Details What is an Efficient Implementation of the lambda-calculus? Download Download PDF