HackerPapers

arXiv:2001.05778math.CT

Aspects of categorical recursion theory

Pieter Hofstra, Philip Scott

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

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.

arXiv comments
Journal reference
DOI
Subjects
math.CTCategory Theory

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from Jan 2020 to Jan 2020. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.