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