From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/648 Path: news.gmane.org!not-for-mail From: "Roy L. Crole" Newsgroups: gmane.science.mathematics.categories Subject: CATS Re: Categorical model for Floyd-Hoare logic? Date: Sat, 14 Feb 1998 18:30:29 GMT Message-ID: <199802141830.SAA13270@sun4.mcs.le.ac.uk> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017095 26693 80.91.229.2 (29 Apr 2009 14:58:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:58:15 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Sat Feb 14 15:42:20 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA31785 for categories-list; Sat, 14 Feb 1998 14:39:59 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 10 Xref: news.gmane.org gmane.science.mathematics.categories:648 Archived-At: There is some work by Paul Taylor on categorical models of while in Theory and Formal Methods 1993, Springer Workshops in Computing, p302 on. Roy Crole