Introduction to Lambda Calculus

In this document, I have tried to provide a simple introduction to Lambda Calculus with several examples. I have also included some important problems regarding computation solved using lambda calculus such as the Decision Problem and the Turing Completeness of Lambda Calculus.

Download Presentation Download Document

Also I have to thank Haritz Puerto San Román for being the co-author of the work.

Written on January 27, 2016