Richard Statman：关于n个但不是n+1个简单组合子的存在性。(1999) 期刊/mscs/Statman99 关于n而非n+1容易组合子的存在性。 1 理查德·斯塔特曼 1 361-365 数学。结构。计算。科学。 数学。结构。计算。科学。 9 4 1999 dblp记录'journals/mscs/Statman99'的RDF数据的来源信息 2020-04-01T08:48:36+0200