尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 证明相关参数。 （英语） Zbl 1343.68057号 林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，109-131（2016）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人，Lect。注释计算。科学。9600、109--131（2016；Zbl 1343.68057） 全文： 内政部 链接
丹尼尔·艾哈曼;尼尔·加尼;戈登·普洛金（Gordon D.Plotkin）。 依赖类型和光纤计算效果。 （英语） Zbl 1475.68057号 Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日，作为欧洲软件理论与实践联席会议的一部分，在荷兰埃因霍温举行的第19届国际会议，FOSSACS 2016。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 36-54 (2016).MSC公司：68甲18 03立方厘米38 03B70号 18 C50 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Ahman}等人，Lect。注释计算。科学。9634，36-54（2016；Zbl 1475.68057） 全文： 内政部 链接
尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;亚历克斯·辛普森 综合参数多态性：范畴模型和类型理论。 （英语） Zbl 1475.68061号 Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日，作为欧洲软件理论与实践联席会议的一部分，在荷兰埃因霍温举行的第19届国际会议，FOSSACS 2016。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 3-19 (2016).MSC公司：68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人，Lect。注释计算。科学。9634，3-19（2016；Zbl 1475.68061） 全文： 内政部 链接