里克·斯塔特曼：关于非类型术语的多态类型。(2011) conf/wollic/Statman11 10.1007/978-3-642-20920-8_24 论非类型化术语的多态类型。 1 瑞克·斯塔特曼 1 239-256 沃尔利克 沃尔利克 2011 2011 dblp记录“conf/wollic/Statman11”的RDF数据的来源信息 2017-05-25T00:42:26+0200