Aspects of Categorical Recursion Theory

Title:Aspects of categorical recursion theory

(Submitted on 16 Jan 2020)

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.

Submission history

From: Pieter Hofstra [

view email

]

[v1]

Thu, 16 Jan 2020 13:06:20 UTC (52 KB)

from Hacker News https://ift.tt/3aravGf