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