A Representation Result for Free Cocompletions (1998)

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