布鲁诺·C·d·S·奥利维拉。;史志远;乔安·阿普伊姆 不相交的相交类型。 (英语) Zbl 1361.68046号 Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。364-377 (2016). 引用于1审查引用于5文件 MSC公司: 68甲18 函数编程和lambda演算 关键词:交叉点类型;类型系统 引文:Zbl 1297.68049号 软件:Twelf公司;哈斯克尔;CDuce公司 PDF格式BibTeX公司 XML格式引用 \textit{B.C.d.S.Oliveira}等人,摘自:《第21届ACM SIGPLAN函数式编程国际会议论文集》,ICFP’16,日本奈良,2016年9月18-22日。纽约州纽约市:计算机协会(ACM)。364--377(2016年;Zbl 1361.68046) 全文: 内政部