[FOM] Simple Turing machines, Universality, Encodings, etc.

[FL]

On Nov 3, 2007 3:29 PM, Andrej Bauer <Andrej.Bauer at fmf.uni-lj.si> wrote:
> Kreinovich, Vladik wrote:
> > May I add Yuri Gurevich's Abstract State Machines
> > http://www.eecs.umich.edu/gasm/
>

In abstract recursion theory, the Turing categories of
Robin Cockett and his collaborators are a very recent development:
http://pages.cpsc.ucalgary.ca/~robin/talks/turing.pdf
The Turing categories generalize the recursion categories
of Dipaola and Heller.