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