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