FrontPage  Index  Search  Changes  Login

lambda x.x KSK

[English / Japanese]
トップ 研究 プログラミング ジャグリング 連絡先
Keisuke Nakano 今後の予定 λx.xKSK

My first name can be pronounced as "K S K".

The combinator X = λx.x K S K *1 is universal in the sense that all combinators can be constructed by X.

  • S = X(XX)
  • K = (XX)X
  • I = X(XX)(XXX)(XXXX)

The combinator I could be defined as X(XX)(XXX)z with any term z.

Last modified:2009/05/17 18:30:31
References:[tabtree] [TabTree]

*1 As usual, you must recognize it as λx. ( ( ( x K ) S ) K ).