Data types in algebraically ωcomplete categories (1993)

by J Adámek