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