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