BibTeX记录conf/tlca/Statman99
@在过程中{DBLP:conf/tlca/Statman99， author={Richard Statman}， editor={Jean 伊夫 吉拉德}， title={Jacopini定理的结果：一致等式和方程}， booktitle={第四届国际会议，打字Lambda微积分与应用， TLCA’99，意大利拉奎拉，1999年4月7日至9日，会议记录}， series={计算机科学讲稿}， 体积={1581}， 页数={355--364}， publisher={Springer}， 年份={1999}， 网址={ https://doi.org/10.1007/3-540-48959-2 \_25}, doi={10.1007/3-540-48959-2\_25}， timestamp={2019年5月14日星期二10:00:41+0200}， biburl={ https://dblp.org/rec/conf/tlca/Statman99.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
