. . . . . “理查德·斯塔斯曼：逻辑关系和类型化lambda-Calculus（1985）”。 . . _：ID_db9e2bae014734b72cdb404e6da06eb8。_：ID_db9e2bae014734b72cdb404e6da06eb8 ._：ID_db9e2bae014734b72cdb404e6da06eb8 ._：ID_db9e2bae014734b72cdb404e6da06eb8“journals/iandc/Statman85”。 _：ID_0acb972dac4595347a1aef54b4f4ca7f。_：ID_0acb972dac4595347a1aef54b4f4ca7f ._：ID_0acb972dac4595347a1aef54b4f4ca7f ._：ID_0acb972dac4595347a1aef54b4f4ca7f“10.1016/S0019-9958（85）80001-2”。 “逻辑关系和类型化lambda-Calculus”。 . . "1"^^. _：Sig_9ef6cb6c5cd093fbf033e00cc929cdfc_1。_：Sig_9ef6cb6c5cd093fbf033e00cc929cdfc_1 ._：Sig_9ef6cb6c5cd093fbf033e00cc929cdfc_1“Richard Statman”。_：信号_9ef6cb6c5cd093fbf033e00cc929cdfc_1 ._：Sig_9ef6cb6c5cd093fbf033e00cc929cdfc_1"1"^^._：Sig_9ef6cb6c5cd093fbf033e00cc929cdfc_1 . . . . "85-97" . “信息控制”。 “信息控制”。 "65" . "2/3" . "1985"^^. "--05"^^. “dblp记录'journals/iandc/Statman85'的RDF数据的来源信息”。 . . . “2020-05-18T17:45:27+0200”。