@article{journals/corr/abs-0903-3311,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Dumas, Jean-Guillaume and Duval, Dominique and Reynaud, Jean-Claude},
  biburl = {https://www.bibsonomy.org/bibtex/2038dfc3ead8122e1621bbb38718b69f1/dblp},
  ee = {http://arxiv.org/abs/0903.3311},
  interhash = {9efc0210196d9577faa8eb3bc5fd8d9c},
  intrahash = {038dfc3ead8122e1621bbb38718b69f1},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T13:54:30.000+0200},
  title = {Cartesian effect categories are Freyd-categories},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0903.html#abs-0903-3311},
  volume = {abs/0903.3311},
  year = 2009
}

{"_id":"MvCAz4ySqNWZofJYc","bibbaseid":"dumas-duval-reynaud-cartesianeffectcategoriesarefreydcategories-2009","author_short":["Dumas, J.","Duval, D.","Reynaud, J."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Dumas"],"firstnames":["Jean-Guillaume"],"suffixes":[]},{"propositions":[],"lastnames":["Duval"],"firstnames":["Dominique"],"suffixes":[]},{"propositions":[],"lastnames":["Reynaud"],"firstnames":["Jean-Claude"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2038dfc3ead8122e1621bbb38718b69f1/dblp","ee":"http://arxiv.org/abs/0903.3311","interhash":"9efc0210196d9577faa8eb3bc5fd8d9c","intrahash":"038dfc3ead8122e1621bbb38718b69f1","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T13:54:30.000+0200","title":"Cartesian effect categories are Freyd-categories","url":"http://dblp.uni-trier.de/db/journals/corr/corr0903.html#abs-0903-3311","volume":"abs/0903.3311","year":"2009","bibtex":"@article{journals/corr/abs-0903-3311,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Dumas, Jean-Guillaume and Duval, Dominique and Reynaud, Jean-Claude},\n biburl = {https://www.bibsonomy.org/bibtex/2038dfc3ead8122e1621bbb38718b69f1/dblp},\n ee = {http://arxiv.org/abs/0903.3311},\n interhash = {9efc0210196d9577faa8eb3bc5fd8d9c},\n intrahash = {038dfc3ead8122e1621bbb38718b69f1},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T13:54:30.000+0200},\n title = {Cartesian effect categories are Freyd-categories},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr0903.html#abs-0903-3311},\n volume = {abs/0903.3311},\n year = 2009\n}\n\n","author_short":["Dumas, J.","Duval, D.","Reynaud, J."],"key":"journals/corr/abs-0903-3311","id":"journals/corr/abs-0903-3311","bibbaseid":"dumas-duval-reynaud-cartesianeffectcategoriesarefreydcategories-2009","role":"author","urls":{"Link":"http://arxiv.org/abs/0903.3311","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr0903.html#abs-0903-3311"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Dumas?items=1000","dataSources":["gzytHe9CAy6apLxQh"],"keywords":["dblp"],"search_terms":["cartesian","effect","categories","freyd","categories","dumas","duval","reynaud"],"title":"Cartesian effect categories are Freyd-categories","year":2009}