Richard Statman：不存在组合器的一些示例。(1993) 期刊/tcs/Statman93 10.1016/0304-3975（93）90096-C 不存在组合器的一些示例。 1 理查德·斯塔特曼 1 441-448 西奥。计算。科学。 西奥。计算。科学。 121 1&2 1993 dblp记录“journals/tcs/Statman93”的RDF数据的来源信息 2021-02-17T21:59:35+0100