BibTeX记录日志/jcss/Statman14
@文章{DBLP:journals/jcss/Statman14， author={Rick Statman}， title={关于非类型化术语的多态类型}， 日志={J.计算系统科学}， 体积={80}， 数字={6}， 页码={1163--1173}， 年份={2014}， url={ https://doi.org/10.1016/j.jcss.2014.04.008 }, doi={10.1016/J.JCSS.2014.04.008}， timestamp={2021年2月16日星期二14:04:24+0100}， biburl={ https://dblp.org/rec/journals/jcss/Statman14.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
