ラムダ計算
アロンゾ・チャーチ
（
Alonzo Church
）によって
提唱
された
計算モデル
計算可能性を定義するモデルとして知られているほか、関数型言語の基礎として知られている。
lambda calculus
組み合わせ論理
、
コンビネータ論理
（
combinatory logic
） -- A notation for mathematical logic without variables
型付きラムダ計算
（
typed lambda calculus
） -
単純型付きラムダ計算
-
型無しラムダ計算
ド・ブラウン・インデックス
第一級関数
、
ファーストクラスファンクション
（
first-class function
）
不動点コンビネータ
無名再帰
System F
SKIコンビネータ計算
B,C,K,Wシステム
カリー＝ハワード同型対応
ラムダ計算騎士団
（Lispを使うプログラマ達の間で冗談として登場する架空の騎士団）
ラムダキューブ
項書き換え
Unlambda
再帰的定義
、
再帰定義
（
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/ラムダ計算
ラムダ計算 - Wikipedia
Lambda calculus - Wikipedia
#functional-programming