BibTeX记录期刊/mscs/IntrigilaS17
@文章{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}, 时间戳={2020年4月1日星期三08:48:59+0200}, biburl={ https://dblp.org/rec/journals/mscs/IntrigilaS17.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)