lambda x.x KSK

[English / Japanese]

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

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