Infinitary initial algebra specifications for stream algebras, in (0)

by J V Tucker, J I Zucker
Venue:Talcott (Eds.), Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, Lecture Notes in Logic, vol. 15, Association for Symbolic Logic