理查德·斯塔特曼 Church的Lambda Delta微积分。 293-307 https://doi.org/10.1007/3-540-44404-1_19 2000 conf/lpar/2000 LPAR公司 db/conf/lpar/lpar2000.html#Statman00