贝内代托·因特里吉拉 理查德·斯塔特曼 关于lambda演算中可拓性的一些结果。 109-125 2005 132 Ann.纯粹应用。日志。 2-3 https://doi.org/10.1016/j.apal.2003.05.001 db/journals/apal/apal132.html#IntrigilaS05