Lawvere theories as composed PROPs (bibtex)
by F. Bonchi, P. Sobociński and F. Zanasi
Reference:
F. Bonchi, P. Sobociński and F. Zanasi, "Lawvere theories as composed PROPs", In 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS¬†`16), 2016.
Bibtex Entry:
@INPROCEEDINGS{Bonchi2016a,
  author = {F. Bonchi and P. Soboci\'{n}ski and F. Zanasi},
  title = {Lawvere theories as composed PROPs},
  booktitle = {13th International Workshop on Coalgebraic Methods in Computer Science
  (CMCS~`16)},
  year = {2016},
  url = {https://www.southampton.ac.uk/~ps1a06/papers/lawvere.pdf}
}
Powered by bibtexbrowser