Aspects of categorical recursion theory

Pieter Hofstra, Philip Scott

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 t…