A Representation Result for Free Cocompletions (1998)

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