提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日记账/tcs/Statman79aAU-理查德·斯坦曼TI-键入的lambda-Calculus不是初等递归。JO-提奥。计算。科学。VL-9SP-73EP-81PY-1979年//DO-10.1016/0304-3975（79）90007-0UR-（欧元）https://doi.org/10.1016/0304-3975(79)90007-0UR-（欧元）https://www.wikidata.org/entity/Q56050817急诊室-