BibTeX记录conf/rta/Statman14
@正在进行{DBLP:conf/rta/Statman14, author={Rick Statman}, editor={Gilles Dowek}, title={近半环和Lambda微积分}, booktitle={重写和打印Lambda Calculi-联合国际会议, {RTA-TLCA}2014,作为维也纳逻辑夏季的一部分举行,{VSL} 2014年7月14日至17日,奥地利维也纳。 诉讼}, series={计算机科学讲稿}, 体积={8560}, 页数={410--424}, publisher={Springer}, 年份={2014}, 网址={ https://doi.org/10.1007/978-3-319-08918-8 \_28}, doi={10.1007/978-3-319-08918-8\_28}, timestamp={2019年5月14日星期二10:00:46+0200}, biburl={ https://dblp.org/rec/conf/rta/Statman14.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }