FrontPage  Index  Search  Changes  Login

lambda x.x KSK

[English / Japanese]
Top Research Programming Juggling Contact
Keisuke Nakano To Do λ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)

Actually, I is defined as X(XX)(XXX)z where z can be any term.

Last modified:2009/05/17 18:30:14
Keyword(s):
References:[tabtree] [TabTree]

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