Subject: categories: Theory of computing text as categories

From: Steve Stevenson <[email-masked]>
Date: Mon, 28 May 2001 09:20:46 -0400 (EDT)

Good morning,

Does anyone have a bibliography of typical "computer science" version
of computability from the strict category view? I am thinking of texts
that are along the lines Hopcroft and Ullman's "Automata, Languages,
and Computation". MathRev lists about 80 entries satisfying
"computability" and "category theory" but I don't see any textbooks in
the mix.

Any help appreciated.

steve