贝内代托·因特里吉拉 理查德·斯塔特曼 Lambda理论允许具有有限个不动点的项。 405-427 2017 27 数学。结构。计算。科学。 三 https://doi.org/10.1017/S0960129515000419 db/journals/mscs/mscs27.html#IntrigilaS17