REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS Journal

publication venue for

• Infinitary initial algebra specifications for stream algebras 2002