Mohamed Yousri Mahmoud, Amy P. Felty. Formal Meta-level Analysis Framework for Quantum Programming Languages. Electronic Notes in Theoretical Computer Science, 338:185-201, 2018. [doi]
@article{MahmoudF18, title = {Formal Meta-level Analysis Framework for Quantum Programming Languages}, author = {Mohamed Yousri Mahmoud and Amy P. Felty}, year = {2018}, doi = {10.1016/j.entcs.2018.10.012}, url = {https://doi.org/10.1016/j.entcs.2018.10.012}, researchr = {https://researchr.org/publication/MahmoudF18}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {338}, pages = {185-201}, }