理查德·斯塔特曼 组合子单体的Freyd层次 186-190 1991 conf/lics/1991 低收入国家 db/conf/lics/lics91.html#Statman91 https://doi.org/10.1109/LICS.1991.151643 https://doi.ieecomputersociety.org/10.1109/LICS.1991.151643