@inproceedings{journals/corr/abs-1905-05636,
  added-at = {2020-11-04T00:00:00.000+0100},
  author = {Baez, John C. and Williams, Christian},
  biburl = {https://www.bibsonomy.org/bibtex/21490ae0eead7faa804cd2f646a4f89bd/dblp},
  booktitle = {ACT},
  crossref = {journals/corr/abs-2009-06334},
  editor = {Baez, John and Coecke, Bob},
  ee = {http://arxiv.org/abs/1905.05636},
  interhash = {51a73300750bfc2115cdc157bfb5466d},
  intrahash = {1490ae0eead7faa804cd2f646a4f89bd},
  keywords = {dblp},
  pages = {106-135},
  series = {EPTCS},
  timestamp = {2020-11-05T11:35:24.000+0100},
  title = {Enriched Lawvere Theories for Operational Semantics.},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs323.html#abs-1905-05636},
  volume = 323,
  year = 2019
}

{"_id":"SYic8EvkXXy2Rz2LB","bibbaseid":"baez-williams-enrichedlawveretheoriesforoperationalsemantics-2019","author_short":["Baez, J. C.","Williams, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-11-04T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Baez"],"firstnames":["John","C."],"suffixes":[]},{"propositions":[],"lastnames":["Williams"],"firstnames":["Christian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21490ae0eead7faa804cd2f646a4f89bd/dblp","booktitle":"ACT","crossref":"journals/corr/abs-2009-06334","editor":[{"propositions":[],"lastnames":["Baez"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Coecke"],"firstnames":["Bob"],"suffixes":[]}],"ee":"http://arxiv.org/abs/1905.05636","interhash":"51a73300750bfc2115cdc157bfb5466d","intrahash":"1490ae0eead7faa804cd2f646a4f89bd","keywords":"dblp","pages":"106-135","series":"EPTCS","timestamp":"2020-11-05T11:35:24.000+0100","title":"Enriched Lawvere Theories for Operational Semantics.","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs323.html#abs-1905-05636","volume":"323","year":"2019","bibtex":"@inproceedings{journals/corr/abs-1905-05636,\n added-at = {2020-11-04T00:00:00.000+0100},\n author = {Baez, John C. and Williams, Christian},\n biburl = {https://www.bibsonomy.org/bibtex/21490ae0eead7faa804cd2f646a4f89bd/dblp},\n booktitle = {ACT},\n crossref = {journals/corr/abs-2009-06334},\n editor = {Baez, John and Coecke, Bob},\n ee = {http://arxiv.org/abs/1905.05636},\n interhash = {51a73300750bfc2115cdc157bfb5466d},\n intrahash = {1490ae0eead7faa804cd2f646a4f89bd},\n keywords = {dblp},\n pages = {106-135},\n series = {EPTCS},\n timestamp = {2020-11-05T11:35:24.000+0100},\n title = {Enriched Lawvere Theories for Operational Semantics.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs323.html#abs-1905-05636},\n volume = 323,\n year = 2019\n}\n\n","author_short":["Baez, J. C.","Williams, C."],"editor_short":["Baez, J.","Coecke, B."],"key":"journals/corr/abs-1905-05636","id":"journals/corr/abs-1905-05636","bibbaseid":"baez-williams-enrichedlawveretheoriesforoperationalsemantics-2019","role":"author","urls":{"Link":"http://arxiv.org/abs/1905.05636","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs323.html#abs-1905-05636"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/williams?items=1000","dataSources":["9yEa5Kjt9P75Q7HKD"],"keywords":["dblp"],"search_terms":["enriched","lawvere","theories","operational","semantics","baez","williams"],"title":"Enriched Lawvere Theories for Operational Semantics.","year":2019}