Sunday , December 6 2020

Aspects of categorical recursion theory, Hacker News


  

              

                                   (Submitted on 01575879 Jan 05778

    

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, Jan (**************************************: (**************************************: 52 UTC (98 (KB)

About admin

Check Also

Testable theory suggests information has mass and could account for universe’s dark matter, Hacker News

Testable theory suggests information has mass and could account for universe’s dark matter, Hacker News

Einstein’s theory of special relativity brought us one of the most famous equations in science, E=mc2, and showed that energy and mass are equivalent. In our modern, high-tech world, operations involving digital information storage and processing require huge amounts of energy. This gives way to the theory behind the mass-energy-information equivalence principle, the idea that…

Leave a Reply

Your email address will not be published. Required fields are marked *