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