BibTeX记录期刊/apal/IntrigilaS05
@文章{DBLP:journals/apal/IntrigilaS05， author={Benedetto Intrigila和 Richard Statman}， title={lambda演算中可拓性的一些结果}， 日志={Ann.Pure Appl.Log.}， 体积={132}， 数字={2-3}， 页数={109--125}， 年份={2005}， url={ https://doi.org/10.1016/j.apal.2003.05.001 }, doi={10.1016/J.APAL.2003.05.001}， 时间戳={2020年2月21日星期五21:18:35+0100}， biburl={ https://dblp.org/rec/journals/apal/IntrigilaS05.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
