Infinitary initial algebra specifications for stream algebras, in: (2002)

by J V Tucker, J I Zucker
Venue:Reflections on the Foundations of Mathematics: Essays in honor of Solomon Feferman, Lecture Notes in Logic, Association for Symbolic Logic,