阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 可呈现的签名和初始语义。 （英语） Zbl 07379288号 日志。方法计算。科学。 17，第2号，第17号论文，28页（2021年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛B.Ahrens｝等人，日志。方法计算。科学。17，第2号，第17号论文，28页（2021；Zbl 07379288） 全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 通过高阶表示对单子进行模块化规范。 （英语） Zbl 07559272号 Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第6条，第19页（2019年）。MSC公司：68倍 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，LIPIcs——莱布尼茨国际程序。通知。131，第6条，第19页（2019年；Zbl 07559272） 全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 高级签名和初始语义。 （英语） Zbl 07533329号 Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第4条，22页（2018年）。MSC公司：68问题65 03B70号 18立方厘米 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛B.Ahrens｝等人，LIPIcs——莱布尼茨国际期刊。通知。119，第4条，22 p.（2018；Zbl 07533329） 全文： 内政部
布鲁诺·库塞尔;特奥多尔·科纳皮克 一阶代换的计算是一元二阶相容的。 （英语） Zbl 0996.68061号 西奥。计算。科学。 281，第1-2期，177-206（2002）。MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{T.Knapik}，Theor。计算。科学。281，编号1--2，177-206（2002；Zbl 0996.68061） 全文： 内政部
Aravind K.乔希。 受限计算系统在自然语言处理中的作用。 （英语） Zbl 0909.68181号 Artif公司。智力。 103，编号1-2，117-132（1998）。MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Joshi}，阿蒂夫。智力。103，编号1--2，117-132（1998；Zbl 0909.68181） 全文： 内政部