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