有谁学过lambda calculus? 请帮忙.

来源: pppppmmmmmmmmmm 于 2005-09-25 22:10:50 [旧帖] [给我悄悄话] 本文已被阅读：次

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

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.