@文章{DBLP:journals/mscs/IntrigilaS17，author={Benedetto Intrigila和Richard Statman}，title={Lambda理论允许有限个不动点的项}，journal={Math.Struct.Comput.Sci.}，体积={27}，数字={3}，页数={405--427}，年份={2017年}，url={https://doi.org/10.1017/S0960129515000419},doi={10.1017/S0960129515000419}，timestamp={2020年4月1日星期三08:48:59+0200}，biburl={https://dblp.org/rec/journals/mscs/IntrigilaS17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}