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