2000 character limit reached
Aspects of categorical recursion theory
Published 16 Jan 2020 in math.CT | (2001.05778v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.