丹尼尔·赫希科夫;Jean-Marie，马迪奥;戴维·桑吉奥吉 命名过程计算中的对称性和二重性。 （英语） Zbl 1323.68409号 Calude，Cristian S.（编辑）等人，《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际献给他的散文。商会：施普林格出版社（ISBN 978-3-319-13349-2/pbk；978-3-319-13350-8/ebook）。计算机科学课堂讲稿8808，307-322（2014）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人，Lect。注释计算。科学。8808307--322（2014；Zbl 1323.68409） 全文： 内政部
卢卡·罗维斯 线性lambda演算和深度推理。 （英语） Zbl 1331.68045号 Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690184-197（2011）。MSC公司：第68页第18页 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{L.Roversi}，莱克特。注释计算。科学。6690184-197（2011年；Zbl 1331.68045） 全文： 内政部