BibTeX记录conf/wollic/Statman11
@正在处理{DBLP:conf/wollic/Statman11， author={Rick Statman}， editor={Lev D.Beklemishev和 Ruy J.G.B.de Queiroz}， title={关于非类型化术语的多态类型}， booktitle={逻辑、语言、信息和计算-第18届国际 2011年5月18日至20日，美国宾夕法尼亚州费城，WoLLIC 2011研讨会。 诉讼}， series={计算机科学讲稿}， 体积＝{6642}， 页数={239--256}， publisher={Springer}， 年份={2011}， url={ https://doi.org/10.1007/978-3-642-20920-8 \_24}, doi={10.1007/978-3-642-20920-8\_24}， 时间戳＝{2021年6月1日星期二15:22:31+0200}， biburl={ https://dblp.org/rec/conf/wollic/Statman11.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
