Jean-Marie，马迪奥;Damien Pous;戴维·桑吉奥吉 通过一阶转换系统实现高阶语言的模块化共归纳。 （英语） Zbl 07407797号 日志。方法计算。科学。 17，第3号，第25号论文，39页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Madiot}等人，日志。方法计算。科学。17，第3号，第25号论文，39页（2021；Zbl 07407797） 全文： arXiv公司 链接
丹尼尔·赫希科夫;Enguerrand Prebet公司;戴维·桑吉奥吉 关于\（\pi\）-演算中引用的表示。 （英语） Zbl 07559490号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第34条，第20页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人，LIPIcs——莱布尼茨国际程序。通知。171，第34条，20 p.（2020；Zbl 07559490） 全文： 内政部
Damien Pous;戴维·桑吉奥吉 相互模拟和共同还原增强：历史视角。 （英语） Zbl 1427.68010号 正式Asp。计算。 31，第6号，733-749（2019）.MSC公司：68-03 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}和\textit{D.Sangiorgi}，正式Asp。计算。31，编号6，733--749（2019；Zbl 1427.68010） 全文： 内政部 链接
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 方程的发散性和唯一解。 （英语） Zbl 1442.68134号 日志。方法计算。科学。 15，第3号，第12号论文，第34页（2019年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人，Log。方法计算。科学。15，第3号，第12号论文，34页（2019年；Zbl 1442.68134） 全文： arXiv公司
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 方程的发散性和唯一解。 （英语） Zbl 1442.68135号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。85，第11条，第16页（2017年）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人，LIPIcs——莱布尼茨国际程序。通知。85，第11条，第16页（2017年；Zbl 1442.68135） 全文： 内政部
戴维·桑吉奥吉 方程、收缩和唯一解。 （英语） Zbl 1367.68212号 ACM事务处理。计算。日志。 18，第1号，第4条，第30页（2017年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}，ACM翻译。计算。日志。18，第1号，第4条，30页（2017年；Zbl 1367.68212） 全文： 内政部 哈尔
菲奥雷，M.P。;莫吉，E。;桑吉奥吉，D。 （pi）演算的完全抽象模型。 （英语） Zbl 1053.68066号 Inf.计算。 179，第1期，76-117（2002）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人，《信息计算》。179，编号1，76--117（2002；Zbl 1053.68066） 全文： 内政部
戴维·桑吉奥吉 从\（\pi\）-演算到高阶\。 （英语） Zbl 1497.68351号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。668, 151-166 (1993).MSC公司：68问题85 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}，莱克特。注释计算。科学。668151--166（1993年；Zbl 1497.68351） 全文： 内政部