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