Sunday, January 19, 2020

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
Posted by at

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)