BibTeX记录日志/tcs/Statman93
@文章{DBLP:journals/tcs/Statman93， author={Richard Statman}， title={不存在组合器的一些示例}， 期刊＝{Theor.Comput.Sci.}， 体积={121}， 数字={1{\&}2}， 页数={441--448}， 年份={1993}， url={ https://doi.org/10.1016/0304-3975 （93）90096-C}， doi＝{10.1016/0304-3975（93）90096-C}， timestamp={2021年2月17日星期三21:59:35+0100}， biburl={ https://dblp.org/rec/journals/tcs/Statman93.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
