@inproceedings{DBLP:journals/entcs/LagoMZ11,
  author       = {Ugo Dal Lago and
                  Andrea Masini and
                  Margherita Zorzi},
  editor       = {Bob Coecke and
                  Prakash Panangaden and
                  Peter Selinger},
  title        = {Confluence Results for a Quantum Lambda Calculus with Measurements},
  booktitle    = {Proceedings of the 6th International Workshop on Quantum Physics and
                  Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {270},
  number       = {2},
  pages        = {251--261},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2011.01.035},
  doi          = {10.1016/J.ENTCS.2011.01.035},
  timestamp    = {Fri, 10 Mar 2023 13:14:38 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LagoMZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"asS5vCXyymGJqodB3","bibbaseid":"lago-masini-zorzi-confluenceresultsforaquantumlambdacalculuswithmeasurements-2009","author_short":["Lago, U. D.","Masini, A.","Zorzi, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Masini"],"suffixes":[]},{"firstnames":["Margherita"],"propositions":[],"lastnames":["Zorzi"],"suffixes":[]}],"editor":[{"firstnames":["Bob"],"propositions":[],"lastnames":["Coecke"],"suffixes":[]},{"firstnames":["Prakash"],"propositions":[],"lastnames":["Panangaden"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Selinger"],"suffixes":[]}],"title":"Confluence Results for a Quantum Lambda Calculus with Measurements","booktitle":"Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009","series":"Electronic Notes in Theoretical Computer Science","volume":"270","number":"2","pages":"251–261","publisher":"Elsevier","year":"2009","url":"https://doi.org/10.1016/j.entcs.2011.01.035","doi":"10.1016/J.ENTCS.2011.01.035","timestamp":"Fri, 10 Mar 2023 13:14:38 +0100","biburl":"https://dblp.org/rec/journals/entcs/LagoMZ11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/entcs/LagoMZ11,\n author = {Ugo Dal Lago and\n Andrea Masini and\n Margherita Zorzi},\n editor = {Bob Coecke and\n Prakash Panangaden and\n Peter Selinger},\n title = {Confluence Results for a Quantum Lambda Calculus with Measurements},\n booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and\n Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009},\n series = {Electronic Notes in Theoretical Computer Science},\n volume = {270},\n number = {2},\n pages = {251--261},\n publisher = {Elsevier},\n year = {2009},\n url = {https://doi.org/10.1016/j.entcs.2011.01.035},\n doi = {10.1016/J.ENTCS.2011.01.035},\n timestamp = {Fri, 10 Mar 2023 13:14:38 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/LagoMZ11.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lago, U. D.","Masini, A.","Zorzi, M."],"editor_short":["Coecke, B.","Panangaden, P.","Selinger, P."],"key":"DBLP:journals/entcs/LagoMZ11","id":"DBLP:journals/entcs/LagoMZ11","bibbaseid":"lago-masini-zorzi-confluenceresultsforaquantumlambdacalculuswithmeasurements-2009","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2011.01.035"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["confluence","results","quantum","lambda","calculus","measurements","lago","masini","zorzi"],"title":"Confluence Results for a Quantum Lambda Calculus with Measurements","year":2009}