Closed Freyd- and kappa-categories (1999)

by A J Power, H Thielecke
Venue:In Proc. Int. Colloq. Automata, Languages and Programming