. . . . . 《理查德·斯塔特曼：关于lambdaY演算》（2004）。 . . _：ID_d7621f75ee3525c7af584b1e44685b86。_：ID_d7621f75ee3525c7af584b1e44685b86 ._：ID_d7621f75ee3525c7af584b1e44685b86 ._：ID_d7621f75ee3525c7af584b1e44685b86“日志/apal/Statman04”。 _：ID_d80027bf4fa5d60a50425a9a65544e66。_：ID_d80027bf4fa5d60a50425a9a65544e66 ._：ID_d80027bf4fa5d60a50425a9a65544e66 ._：ID_d80027bf4fa5d60a50425a9a65544e66“10.1016/J.APAL.2004.04.004”。 “关于lambdaY微积分。”。 . . "1"^^. _：Sig_34fada38980bb5830cf105e0ee3eeb42_1。_：Sig_34fada38980bb5830cf105e0ee3eeb42_1 ._：Sig_34fada38980bb5830cf105e0ee3eeb42_1“Richard Statman”。_：Sig_34fada38980bb5830cf105e0ee3eeb42_1 ._：Sig_34fada38980bb5830cf105e0ee3eeb42_1"1"^^._：Sig_34fada38980bb5830cf105e0ee3eeb42_1 . . . . "325-337" . “Ann.Pure Appl.日志”。 “Ann.Pure Appl.日志”。 "130" . “1-3”。 "2004"^^. “dblp记录'journals/apal/Statman04'的RDF数据的来源信息”。 . . . “2020-02-21T21:18:08+0100”。