Confluence Results for a Quantum Lambda Calculus with Measurements. Lago, U. D., Masini, A., & Zorzi, M. In Coecke, B., Panangaden, P., & Selinger, P., editors, Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009, volume 270, of Electronic Notes in Theoretical Computer Science, pages 251–261, 2009. Elsevier.
Paper doi bibtex @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}
}
Downloads: 0
{"_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}