2020/01/16 by Pieter Hofstra, Philip Scott, Hofstra, Pieter +1 · 1 voice
#math.CT
paper · pdf · doi:10.48550/arxiv.2001.05778
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.