Additions and corrections to “Terminal coalgebras in well-founded set theory.” Theor (1994)

by M Barr
Venue:Comput. Sci