BibTeX记录期刊/mscs/IntrigilaS17
@文章{DBLP:journals/mscs/IntrigilaS17， author={Benedetto Intrigila和 Richard Statman}， title={Lambda理论允许有限个不动点的项}， journal={数学结构计算科学}， 体积＝{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 } }
