From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1978 Path: news.gmane.org!not-for-mail From: Steve Stevenson Newsgroups: gmane.science.mathematics.categories Subject: Theory of computing text as categories Date: Mon, 28 May 2001 09:20:46 -0400 (EDT) Message-ID: <15122.20654.237932.569778@merlin.cs.clemson.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018247 1521 80.91.229.2 (29 Apr 2009 15:17:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:27 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue May 29 04:11:45 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f4T6W0j15077 for categories-list; Tue, 29 May 2001 03:32:00 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: VM 6.72 under 21.1 (patch 11) "Carlsbad Caverns" XEmacs Lucid Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 46 Original-Lines: 13 Xref: news.gmane.org gmane.science.mathematics.categories:1978 Archived-At: 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