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