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