[FOM] Simple Turing machines, Universality, Encodings, etc.
lengyel at gmail.com
Sat Nov 3 18:45:55 EDT 2007
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:
The Turing categories generalize the recursion categories
of Dipaola and Heller.
More information about the FOM