[FOM] Turing machines and subrecursion theory

georgba@math.uio.no georgba at math.uio.no
Sun Apr 4 13:12:53 EDT 2010

Dear all,

I am to give a 45 minute talk with the title:

"Resource Bounded Turing Machines:
An account of their use in developing a theory of subrecursive functions -
and a comparison with other approaches."

Thoughts and/or suggestions?
What to read, technical and/or historical?


Mathias Barra

More information about the FOM mailing list