洛伦佐·盖里;安德烈·波佩斯库 带有绑定的形式化通用语法理论：扩展版本。 （英语） Zbl 1468.68073号 J.汽车。推理 64，第4号，641-675（2020）.MSC公司：68号30 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Gheri}和\textit{A.Popescu}，J.Autom。推理64，No.4，641--675（2020；Zbl 1468.68073） 全文： 内政部 链接
洛伦佐·盖里;安德烈·波佩斯库 带有绑定的形式化通用语法理论。 （英语） Zbl 1468.68072号 Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 241-261 (2017).MSC公司：68号30 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Gheri}和\textit{A.Popescu}，莱克特。注释计算。科学。10499，241--261（2017；Zbl 1468.68072） 全文： 内政部 arXiv公司 链接