BibTeX记录日志/tcs/Statman81
@文章{DBLP:journals/tcs/Statman81， author={Richard Statman}， title=｛关于类型lambda微积分中闭项的存在性｛II:｝ 统一问题的变换}， 日志={Theor.Comput.Sci.}， 体积={15}， 页数={329--338}， 年份={1981}， url={ https://doi.org/10.1016/0304-3975 (81)90086-4}, doi={10.1016/0304-3975（81）90086-4}， timestamp={2021年2月17日星期三22:00:11+0100}， biburl={ https://dblp.org/rec/journals/tcs/Statman81.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
