8 Jun
2001
8 Jun
'01
3:07 p.m.
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