@inproceedings{DBLP:conf/esop/YoshimizuHFL14,
  author       = {Akira Yoshimizu and
                  Ichiro Hasuo and
                  Claudia Faggian and
                  Ugo Dal Lago},
  editor       = {Zhong Shao},
  title        = {Measurements in Proof Nets as Higher-Order Quantum Circuits},
  booktitle    = {Programming Languages and Systems - 23rd European Symposium on Programming,
                  {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
                  2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8410},
  pages        = {371--391},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54833-8\_20},
  doi          = {10.1007/978-3-642-54833-8\_20},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/YoshimizuHFL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"uvQxE3yzGwHtYhPJS","bibbaseid":"yoshimizu-hasuo-faggian-lago-measurementsinproofnetsashigherorderquantumcircuits-2014","author_short":["Yoshimizu, A.","Hasuo, I.","Faggian, C.","Lago, U. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Akira"],"propositions":[],"lastnames":["Yoshimizu"],"suffixes":[]},{"firstnames":["Ichiro"],"propositions":[],"lastnames":["Hasuo"],"suffixes":[]},{"firstnames":["Claudia"],"propositions":[],"lastnames":["Faggian"],"suffixes":[]},{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]}],"editor":[{"firstnames":["Zhong"],"propositions":[],"lastnames":["Shao"],"suffixes":[]}],"title":"Measurements in Proof Nets as Higher-Order Quantum Circuits","booktitle":"Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings","series":"Lecture Notes in Computer Science","volume":"8410","pages":"371–391","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-642-54833-8\\_20","doi":"10.1007/978-3-642-54833-8_20","timestamp":"Fri, 27 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/esop/YoshimizuHFL14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/esop/YoshimizuHFL14,\n author = {Akira Yoshimizu and\n Ichiro Hasuo and\n Claudia Faggian and\n Ugo Dal Lago},\n editor = {Zhong Shao},\n title = {Measurements in Proof Nets as Higher-Order Quantum Circuits},\n booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,\n {ESOP} 2014, Held as Part of the European Joint Conferences on Theory\n and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,\n 2014, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8410},\n pages = {371--391},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-642-54833-8\\_20},\n doi = {10.1007/978-3-642-54833-8\\_20},\n timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/esop/YoshimizuHFL14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Yoshimizu, A.","Hasuo, I.","Faggian, C.","Lago, U. D."],"editor_short":["Shao, Z."],"key":"DBLP:conf/esop/YoshimizuHFL14","id":"DBLP:conf/esop/YoshimizuHFL14","bibbaseid":"yoshimizu-hasuo-faggian-lago-measurementsinproofnetsashigherorderquantumcircuits-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-54833-8\\_20"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["measurements","proof","nets","higher","order","quantum","circuits","yoshimizu","hasuo","faggian","lago"],"title":"Measurements in Proof Nets as Higher-Order Quantum Circuits","year":2014}