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