From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2006
Path: news.gmane.org!not-for-mail
From: HASEGAWA Masahito <mhas@dcs.ed.ac.uk>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: iteration vs. recursion
Date: Fri, 08 Jun 2001 16:07:45 +0100
Message-ID: <200106081507.QAA02972@keisgaig.dcs.ed.ac.uk>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241018278 1691 80.91.229.2 (29 Apr 2009 15:17:58 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:58 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Sat Jun  9 05:10:33 2001 -0300
Return-Path: <cat-dist@mta.ca>
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.11.1/8.11.1) id f597f9L24103
	for categories-list; Sat, 9 Jun 2001 04:41:09 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 16
Original-Lines: 15
Xref: news.gmane.org gmane.science.mathematics.categories:2006
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2006>

On fixed-point operators and their axiomatizations including 
the iteration theories of Bloom and Esik, one of the latest 
(and concise) accounts is found in 

Alex Simpson and Gordon Plotkin:
Complete Axioms for Categorical Fixed-point Operators.  
Fifteenth Annual IEEE Symposium on Logic in Computer Science, 
pp.30-41, 2000

available from Simpson's page
http://www.dcs.ed.ac.uk/home/als/Research/ .


- Masahito Hasegawa