导航

2025年4月

日

一

二

三

四

五

六

30

31

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

1

2

3

4

5

6

7

8

9

10

统计

随笔 - 0
文章 - 3
评论 - 1
引用 - 0

常用链接

留言簿

文章分类

文章档案

搜索

最新评论

1. re: Lambda算子简介
你好，在2.算子这一节中，将后继函数作用于λsz.z时λyx.y((λsz.z)yx) = λyx.y((λz.z)x) 这一步是怎么算出来的?不太懂
--Nicoder

Lambda

Lambda算子简介
posted @ 2011-09-01 11:15 Achilleus 阅读(4466) | 评论 (1) 编辑