Data types in algebraically !- complete categories (1993)

by J Ad'amek