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