Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi. Lawvere Categories as Composed PROPs. In Ichiro Hasuo, editor, Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Volume 9608 of Lecture Notes in Computer Science, pages 11-32, Springer, 2016. [doi]
Abstract is missing.