A Representation Result for Free Cocompletions (1999)

by A. John Power , Gian Luca Cattani , Glynn Winskel
Citations:2 - 0 self