- 博客(1)
- 收藏
- 关注
原创 交互递归和丘齐数
上次说到丘齐数 的时候并没有提到怎么定义后继函数, succ(n) = n + 1。这两天读Pierced的书(顺便说一句,这本Types and Programming Languages的叙述清晰,推理自然,符号也用得非常简约。相比那本Principles of Program Analysis,Peirce这本书读起来轻松多了。也不知道是作者风格问题,还是类型系统的线条本来就比较清爽)时,突
2006-10-02 14:46:00 3121
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人