BibTeX记录日志/corr/abs-cs-0609080
@文章{DBLP:journals/corr/abs-cs-0609080， author={Benedetto Intrigila和 Richard Statman}， title={敏感λ理论上Barendregt问题的解}， 日志={CoRR}， 体积={abs/cs/0609080}， 年份={2006}， url={ 网址：http://arxiv.org/abs/cs/0609080 }, eprinttype={arXiv}， eprint={cs/0609080}， timestamp={2018年8月13日星期一16:47:40+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-cs-060908.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
