@Inproceedings{EPTCS323.8,
  author    = {Baez, John C. and Williams, Christian},
  year      = {2020},
  title     = {Enriched Lawvere Theories for Operational Semantics},
  editor    = {Baez, John and Coecke, Bob},
  booktitle = {{\rm Proceedings}
               Applied Category Theory 2019,
               {\rm University of Oxford, UK, 15-19 July 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {323},
  publisher = {Open Publishing Association},
  pages     = {106-135},
  doi       = {10.4204/EPTCS.323.8},
}