乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 主教布景的立体语言。 (英语) Zbl 07566056号 日志。方法计算。科学。 18,第1号,第43号论文,80页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人,日志。方法计算。科学。18,第1号,第43号论文,80页(2022;Zbl 07566056) 全文: arXiv公司 链接
丹尼尔·格拉泽;卡夫沃斯,G.A。;安德烈亚斯·努伊茨;拉尔斯·比克达尔 多模依赖型理论。 (英语) Zbl 1498.03030号 日志。方法计算。科学。 17,第3号,第11号论文,67页(2021年).MSC公司:03B38型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gratzer}等人,《日志》。方法计算。科学。17,第3号,第11号论文,67页(2021年;Zbl 1498.03030) 全文: 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公司