BibTeX记录conf/lics/Statman02
@正在处理{DBLP:conf/lics/Statman02， author={Richard Statman}， title={On The Lambda{Y}微积分}， booktitle={第17届{IEEE}计算机科学逻辑研讨会{（LICS}2002）， 2002年7月22日至25日，丹麦哥本哈根，会议记录}， 页数={159--166}， publisher={{IEEE}计算机协会}， 年份={2002}， url={ https://doi.org/10.109/LICS.2002.1029825 }, doi＝{10.1109/LICS.2002.1029825}， timestamp={2023年3月24日星期五00:01:49+0100}， biburl={ https://dblp.org/rec/conf/lics/Statman02.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
