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
ド・ブラウン・レベル
無名関数
Anonymous function
ラムダ・キューブ
Lambda cube
ラムダ計算騎士団
Knights of the Lambda Calculus
B,C,K,Wシステム
B, C, K, W system
組合せ範疇文法
Combinatory categorial grammar