乔纳森·斯特林;卡洛·安吉乌利;丹尼尔·格拉泽 主教布景的立体语言。 (英语) Zbl 07566056号 日志。方法计算。科学。 18,第1号,第43号论文,80页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人,日志。方法计算。科学。18,第1号,第43号论文,80页(2022;Zbl 07566056) 全文: arXiv公司 链接
乔纳森·斯特林;卡洛·安吉乌利;丹尼尔·格拉泽 无反射扩展等式的立方语法。 (英语) Zbl 1528.03113号 Geuvers,Herman(编辑),第四届计算和推导形式结构国际会议,FSCD 2019,德国多特蒙德,2019年6月24日至30日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。131,第31条,第25页(2019年)。MSC公司:03B38型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人,LIPIcs——莱布尼茨国际程序。通知。131,第31条,第25页(2019年;Zbl 1528.03113) 全文: 内政部 arXiv公司
卡洛·安吉乌利;罗伯特·哈珀 更高维度的意义解释。 (英语) Zbl 1436.03102号 印度。数学。,新序列号。 29,第1期,135-149(2018).MSC公司:03B38型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{C.Angiuli}和\textit{R.Harper},印度。数学。,新系列。29,第1号,135--149(2018;Zbl 1436.03102) 全文: 内政部