1957

摘要： ;;;lambda calculus;;;booleanstrue = \x.\y.xfalse = \x.\y.yif = \v.\t.\f. v t f;;;exif true M N = M--->(\v.\t.\f. v t f) (\x.\y.x) M N--->(\x.\y.x) M N--->M;;;Pairs;fst(mkpair M N) = M;snd(mkpair M N) = Nmakpair = \x.\y.\f. f x yfst =\p.p truesnd =\p.p false;;;Church number;;;a lambda functi 阅读全文