论文标题
分类递归理论的各个方面
Aspects of categorical recursion theory
论文作者
论文摘要
我们对计算理论类别理论方法的一般领域的某些发展进行了调查，重点关注主题和思想，尤其是吉姆·兰贝克（Jim Lambek）的利益。
We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to the interests of Jim Lambek.
