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