Aspects of categorical recursion theory
Category Theory
2020-01-17 v1
Abstract
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.
Cite
@article{arxiv.2001.05778,
title = {Aspects of categorical recursion theory},
author = {Pieter Hofstra and Philip Scott},
journal= {arXiv preprint arXiv:2001.05778},
year = {2020}
}