L16: Lambda Calculus Introduction

[@kartiknair5690]

great video m8, appreciate it

[@happyboy2323]

Thank you!

[@luzprimero1568]

Thank you for your effort, and intellectual generosity. Very clean,and professional explanation. It shows you have a deep understanding of the topic. Could you recommend your favorite book on Lambda calculus?.

[@krismicinski]

The answer to this depends on if you are interested in typed or untyped lambda calculus. If you are interested in the untyped lambda calculus, "lisp in small pieces" is an excellent book with lots of great wisdom in the context of an untyped setting. By contrast, if you are interested in a type-theoretic account of the lambda calculus, you can find "types and programming languages."

[@kennethcarvalho3684]

Thanks very helpful

[@ceving865]

This example might be easier to understand: ((lambda (f) (f (f id))) id) (id (id id)))

[@TheRedbeardster]

Nice presentation