. . . . . “Richard Statman：关于类型lambda微积分中闭项的存在性II：统一问题的变换”（1981）。 . . _：ID_50241666b3f9a342e215041262620dc3。_：ID_50241666b3f9a342e215041262620dc3 ._：ID_50241666b3f9a342e215041262620dc3 ._：ID_50241666b3f9a342e215041262620dc3“期刊/tcs/Statman81”。 _：ID_37942271c589b23fbc676e1ec8d6eba9。_：ID_37942271c589b23fbc676e1ec8d6eba9 ._：ID_37942271c589b23fbc676e1ec8d6eba9 ._：ID_37942271c589b23fbc676e1ec8d6eba9"10.1016/0304-3975(81)90086-4" . “关于类型lambda微积分中闭项的存在性II：统一问题的变换”。 . . "1"^^. _：Sig_085c1e3582d764869a4d0be1313fcf07_1。_：Sig_085c1e3582d764869a4d0be1313fcf07_1 ._：信号_085c1e3582d764869a4d0be1313fcf07_1“Richard Statman”。_：信号_085c1e3582d764869a4d0be1313fcf07_1 ._：Sig_085c1e3582d764869a4d0be1313fcf07_1"1"^^._：Sig_085c1e3582d764869a4d0be1313fcf07_1 . . . . "329-338" . “理论计算科学”。 “理论计算科学”。 "15" . "1981"^^. “dblp记录'journals/tcs/Statman81'的RDF数据的来源信息”。 . . . “2021-02-17T22:00:11+0100”。