Implementation of Lambda Calculus