Keisuke Nakano's Web Site - λx.xKSK Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

My first name can be pronounced as {{e('quot')}}''K S K''{{e('quot')}}.

The combinator ''X = ''{{e(lambda)}}''x.x K S K'' {{fn('As usual, you must recognize it as {{e(lambda)}}x. ( ( ( x  K ) S ) K ).')}}
is universal in the sense that
all combinators can be constructed by ''X''.
* ''S = X(XX)''
* ''K = (XX)X''
* ''I = X(XX)(XXX)(XXXX)''
Actually, ''I'' is defined as ''X(XX)(XXX)z'' where ''z'' can be any term.