Lambda Calculus For Dummies: Introduction

An accessible introduction to the basic concepts and formal system of the lambda calculus.

In this video we will give an introduction to the basic notions of the lambda calculus, the formal system of computation developed by Alonzo Church. This video will be part of a series that I called "Lambda Calculus For Dummies", to stress that I will try to make these videos as accessible and simple as possible. Tags: #lambdacalculus #functionalprogramming #lambdaexpression #computerscience #mathematics lambda calculus lambda term lambda expression turing completeness computer science comp sci programming functional programming haskell alonzo church turing computable functions intensional vs extensional view of functions introduction lambda calculus for dummies applied lambda calculus ZFC function graph rule formula function rule programmer