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