A Representation Result for Free (2007)
Free Cocompletions, Gian Luca Cattani, Glynn Winskel, John Power, John Power
et al.: A
This document in subdirectoryRS/98/21/ A Representation Result for Free (1998)
Free Cocompletions, John Power, Gian Luca Cattani, Glynn Winskel, John Power, Gian Luca Cattani, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...