Terminal coalgebras in well-founded set theory, (1993)

by M Barr
Venue:Theor. Comput. Sci.