Subject: categories: Re: iteration vs. recursion

From: HASEGAWA Masahito <[email-masked]>
Date: Fri, 08 Jun 2001 16:07:45 +0100

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