TL;DR
関数だけからなる計算モデルで、関数型プログラミング言語のもとになる考え方である。
仕組み
関数（ラムダ式）は λ を使って λx.式 のように表す。これをラムダ抽象と呼ぶ。JavaScript で書けば (x) => 式 にあたる。
β 簡約によって関数を適用し、式を書き換えていく。ラムダ計算を実際に動かすための実行モデルには SECD マシンがある。
例
引数をそのまま返す恒等関数は λx.x と書ける。
自分の理解
プログラミングで扱う関数の本質を、数学的に扱うためのものだと認識している。