Return to Article Details Behaviour of Recursive Function in Lambda Calculus Download Download PDF