. . . . . 《理查德·斯塔斯曼：论兰姆达Y微积分》（2002）。 . . _：ID_55f712b9a6e8217035ec4ecfec94762f。_：ID_55f712b9a6e8217035ec4ecfec94762f ._：ID_55f712b9a6e8217035ec4ecfec94762f ._：ID_55f712b9a6e8217035ec4cfec94762f“conf/lics/Statman02”。 _：ID_195e1862752ef4b32ea32db467e5dfa0。_：ID_195e1862752ef4b32ea32db467e5dfa0 ._：ID_195e1862752ef4b32ea32db467e5dfa0 ._：ID_195e1862752ef4b32ea32db467e5dfa0“10.1109/LICS.2002.1029825”。 “关于Lambda Y微积分”。 . . "1"^^. _：Sig_f4463a09cad3ed2cd43b7620108041eb_1。_：Sig_f4463a09cad3ed2cd43b7620108041eb_1 ._：Sig_f4463a09cad3ed2cd43b7620108041eb_1“Richard Statman”。_：Sig_f4463a09cad3ed2cd43b7620108041eb_1 ._：Sig_f4463a09cad3ed2cd43b7620108041eb_1"1"^^._：Sig_f4463a09cad3ed2cd43b7620108041eb_1 . . . . . "159-166" . “舔”。 “LICS”。 "2002"^^. "2002"^^. . “dblp记录'conf/lics/Statman02'的RDF数据的来源信息”。 . . . “2023-03-24T00:01:49+0100”。