Discuss about lambda calculus.

Lambda calculus is a simple formal system for representing and applying functions that is turing complete (it can do everything that a universal turing machine can do)

For introductory information about lambda calculus, look at this short paper