Symmetric Monoidal Sketches (2000)

by M Hyland, J Power
Venue:In Proceedings of PPDP 00