有谁学过lambda calculus? 请帮忙.

来源: pppppmmmmmmmmmm 于 2005-09-25 22:10:50 [] [旧帖] [给我悄悄话] 阅读数 : (68 bytes)

How to simplify? Y=lambda
(((Yx.Yy.Yz.xz(yz))(Yx.Yy.x))(Yx.Yy.x))

所有跟帖： 

• 回复：有谁学过lambda calculus? 请帮忙. -Google!- ♀ 给 Google! 发送悄悄话 (0 bytes) () 09/26/2005 postreply 08:43:19

请您先登陆，再发跟帖！