Lawvere Theories as Composed PROPs (bibtex)

by Filippo Bonchi, Paweł Sobociński and Fabio Zanasi

Reference:

Filippo Bonchi, Paweł Sobociński and Fabio Zanasi, Lawvere Theories as Composed PROPs, In Coalgebraic Methods in Computer Science – 13th IFIP WG 1.3 International Workshop, CMCS 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016, Revised Selected Papers (Ichiro Hasuo, ed.), Springer, vol. 9608, pp. 11–32, 2016.

Bibtex Entry:

@InProceedings{Bonchi2016a,
  author    = {Filippo Bonchi and Pawe{\l} Soboci{\'{n}}ski and Fabio Zanasi},
  title     = {Lawvere Theories as Composed {PROPs}},
  booktitle = {Coalgebraic Methods in Computer Science -- 13th {IFIP} {WG} 1.3 International Workshop, {CMCS} 2016, Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 2--3, 2016, Revised Selected Papers},
  editor    = {Ichiro Hasuo},
  series    = {Lecture Notes in Computer Science},
  volume    = {9608},
  pages     = {11--32},
  publisher = {Springer},
  year      = {2016},
  doi       = {10.1007/978-3-319-40370-0\_3},
  url       = {https://doi.org/10.1007/978-3-319-40370-0\_3},
}