穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 线性逻辑中Quipper量子编程语言的元理论的形式化。 （英语） Zbl 1468.68330号 J.汽车。推理 63，第4期，967-1002（2019）。MSC公司：68V20型 68甲15 第68页第18页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Mahmoud}和\textit{A.P.Felty}，J.Autom。推理63，No.4，967--1002（2019；Zbl 1468.68330） 全文： 内政部 arXiv公司
穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 量子编程语言的正式元级分析框架。 （英语） Zbl 1433.68078号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 185-201 (2018).MSC公司：68甲15 03B40型 03B70号 68伏15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Mahmoud}和\textit{A.P.Felty}，电子。注释Theor。计算。科学。338185-201（2018；Zbl 1433.68078） 全文： 内政部