Behaviour of Recursive Function in Lambda Calculus

Abstract

The aim of this paper is to link the λ-calculus with the today computational machine using the exploit mathematical properties of the calculus for the parallel evaluation of program. This paper is about the use of both the theory and practice of functional programming. The theory consists of the calculus and the practice will be illustrated using the programming language Standard ML. The practical parts of this paper almost exclusively emphasize the recursive functions but the material on the λ-calculus underlies both approaches.