巴赛尔·曼纳;莫格尔贝里，拉斯穆斯·埃杰勒斯;尼科洛·维尔特里 滴答钟作为从属右伴随词：钟型理论的指称语义。 （英语） Zbl 1509.03053号 日志。方法计算。科学。 16，第4号，第17号论文，31页（2020年）。MSC公司：03立方厘米38 03B40型 18A40型 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Mannaa}等人，日志。方法计算。科学。16，第4号，第17号论文，31页（2020；Zbl 1509.03053） 全文： arXiv公司 链接
尼科洛Veltri;范德维德，尼尔斯 在Agda中通过大小类型保护递归。 （英语） Zbl 1528.68071号 Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第32条，第19页（2019年）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Veltri}和\textit{N.van der Weide}，LIPIcs——莱布尼茨国际程序。通知。131，第32条，第19页（2019年；Zbl 1528.68071） 全文： 内政部