BibTeX记录日志/jcss/Statman14
@文章{DBLP:journals/jcss/Statman14, author={Rick Statman}, title={关于非类型化术语的多态类型}, 期刊={J.Comput.Syst.Sci.}, 体积={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 } }