lambda calculus Functional programming and Procedural programming

main points of the Church–Turing thesis

1. “The LISP’s syntax is based on lambda calculus”, give some detail on the description of lambda calculus. (The length should be half page or more, including at least one reference with correct format. It needs a title too)

2. Give some details on Functional programming and Procedural programming. (The same requirement as above)

3. List the main points of the Church–Turing thesis. (The length should be one page or more, including at least two references with correct format. It needs a title too)

please you must follow format of references :

the format is:

Author names, (year). article or paper or book title, if it is a book/journal or conference paper, list the book or conference name here, if it is an article from internet, retrieved site should be listed here.



For example:



Li, X. (2012). How to be a good student in UN? International Journal of Computer Network, vol. 3, p. 1045.



Li, X. and Obama, B. The US foreign policy in 2015. Retrieved from www.US.gov/policy