乔舒亚·邓菲尔德 详细说明交集和并集类型。 （英语） Zbl 1291.68140号 2012年9月9日至15日在丹麦哥本哈根举行的第17届ACM SIGPLAN功能编程国际会议记录，ICFP’12。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN Notices 47，No.9，17-28（2012）。 引用于6文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲18 函数编程和lambda演算 关键词：交叉点类型 软件：Twelf公司；福赛特 PDF格式BibTeX公司 XML格式引用 \textit{J.Dunfield}，in：第17届ACM SIGPLAN函数式编程国际会议论文集，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。17-28（2012年；Zbl 1291.68140） 全文： 内政部 arXiv公司