Rick Statman：关于非类型化术语的多态类型。(2014) 期刊/jcss/Statman14 2016年10月10日/J.JCSS.2014.04.008 关于非类型化术语的多态类型。 1 瑞克·斯塔特曼 1 1163-1173年 J.计算。系统。科学。 J.计算。系统。科学。 80 6 2014 dblp记录“journals/jcss/Statman14”的RDF数据的来源信息 2021-02-16T14:04:24+0100