[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

categories: Re: iteration vs. recursion

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