Additions and corrections to "terminal coalgebras in well-founded set theory (1994)

by M Barr
Venue:Theoretical Computer Science