Category:ラムダ計算
チャーチ・ロッサーの定理
Church–Rosser theorem
SKIコンビネータ計算
SKI combinator calculus
ラムダ計算騎士団
Knights of the Lambda Calculus
ド・ブラウン記法
De Bruijn notation
ラムダ・キューブ
Lambda cube
ド・ブラウン・レベル
住性 (型理論)
Type inhabitation
型付きラムダ計算
Typed lambda calculus
ド・ブラウン・インデックス
De Bruijn index
コンビネータ論理
Combinatory logic
無名関数
Anonymous function
不動点コンビネータ
Fixed-point combinator
カリー化
Currying
高階関数
Higher-order functionラムダ計算
Lambda calculus