Terminal algebras in well-founded set theory (1993)

by M Barr
Venue:Theoretical Computer Science