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