理查德·斯塔特曼（Richard Statman）和亨克·巴伦德雷格特（Henk Barendregt）：伯姆定理、丘奇三角洲、数字系统和厄肖夫形态。(2005) conf/生日/StatmanB05 10.1007/11601548_5 Böhm定理、Church’s Delta、数字系统和Ershov Morphisms。 2 理查德·斯塔特曼 1 亨克·巴伦德雷格特 2 40-54岁 过程、术语和周期 过程、术语和周期 2005 2005 dblp记录“conf/shairthy/StatmanB05”的RDF数据的来源信息 2017-05-23T01:06:48+0200