. . . . . . “Richard Statman：键入的lambda-Calculus不是基本递归。（1979）”。 . . . _：ID_cf48373eed3b2016a73e62e7436e55d5。_：ID_cf48373eed3b2016a73e62e7436e55d5 ._：ID_cf48373eed3b2016a73e62e7436e55d5 ._：ID_cf48373eed3b2016a73e62e7436e55d5“期刊/tcs/Statman79a”。 _：ID_cfe63f884eabd05946465c6de7dedaa1。_：ID_cfe63f884eabd05946465c6de7dedaa1 ._：ID_cfe63f884eabd05946465c6de7dedaa1 ._：ID_cfe63f884eabd05946465c6de7dedaa1"10.1016/0304-3975(79)90007-0" . _：ID_624b28250a2adc9d0524d9b52d516d52。_：ID_624b28250a2adc9d0524d9b52d516d52 ._：ID_624b28250a2adc9d0524d9b52d516d52 ._：ID_624b28250a2adc9d0524d9b52d516d52“Q56050817”。 “键入的lambda-Calculus不是初等递归。”。 . . "1"^^. _：Sig_2ce0f20199711afd204d71da9ed44e591_1。_：Sig_2ce0f2019711afd204d71da9ed44e591_1 ._：信号_2ce0f20199711afd204d71da9ed44e591_1“Richard Statman”。_：Sig_2ce0f2019711afd204d71da9ed44e591_1 ._：Sig_2ce0f2019711afd204d71da9ed44e591_1"1"^^._：Sig_2ce0f2019711afd204d71da9ed44e591_1 . . . . "73-81" . “理论计算科学”。 “理论计算科学”。 "9" . "1979"^^. “dblp记录'journals/tcs/Statman79a'的RDF数据的来源信息”。 . . . “2021-02-17T21:59:15+0100”。