SKIコンビネータ計算
SKI combinator calculus
コンビネータ論理
B,C,K,Wシステム
不動点コンビネータ
ラムダ計算
関数型言語
Lazy K
プログラミング言語
Unlambda
プログラミング言語
To Mock a Mockingbird
SKK
- 名称がSKK=Iともかけられている。
SKIコンビネータ計算 - Wikipedia