アロンゾ・チャーチ（Alonzo Church）によって提唱された計算モデル

計算可能性を定義するモデルとして知られているほか、関数型言語の基礎として知られている。

組み合わせ論理、コンビネータ論理（combinatory logic） -- A notation for mathematical logic without variables

型付きラムダ計算（typed lambda calculus） - 単純型付きラムダ計算 - 型無しラムダ計算

第一級関数、ファーストクラスファンクション（first-class function）

ラムダ計算騎士団（Lispを使うプログラマ達の間で冗談として登場する架空の騎士団）

再帰的定義、再帰定義 （recursive definition）

領域理論 （domain theory） -- Study of certain posets giving denotational semantics for lambda calculus

ペアノの公理（Peano axioms）

評価戦略（evaluation strategy） -- Rules for the evaluation of expressions in programming languages

SECDマシン（SECD machine） -- A virtual machine designed for the lambda calculus

万能チューリング機械（UTM : universal Turing machine）

herp-technote - /herp-technote/ラムダ計算

mrsekut-p - /mrsekut-p/ラムダ計算

tasuwo - /tasuwo/ラムダ計算