. . . . . “詹姆斯·莱尔德（James Laird:A Compositional Cost Model for the \u03BB-calculus.）（2021）”。 . . _：ID_06b4493610c36e6删除0b6bf2ac。_：ID_06b4493610c36e6死亡0b6bf2ac ._：ID_06b4493610c36e6死亡0b6bf2ac ._：ID_06b4493610c36e6死亡0b6bf2ac“conf/lics/Laird21”。 _：ID_351381ab18467330a5bae2d6a977417e。_：ID_351381ab18467330a5bae2d6a977417e ._：ID_351381ab18467330a5bae2d6a977417e ._：ID_351381ab18467330a5bae2d6a977417e“10.1109/LICS52264.2021.9470567”。 “\u03BB-calculus的组成成本模型。”。 . . "1"^^. _：Sig_beae192ffa005829a4 e6 bee8 f4 dc68_1。_：Sig_beae192ffa005829a4e6bee8f4a8dc68_1 ._：Sig_beae192ffa005829a4e6bee8f4a8dc68_1“詹姆斯·莱尔德”。_：Sig_beae192ffa005829a4e6bee8f4a8dc68_1 ._：Sig_beae192ffa005829a4e6bee8f4a8dc68_1"1"^^._：Sig_beae192ffa005829a4e6bee8f4a8dc68_1 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/Laird21'的RDF数据的起源信息”。 . . . “2021-07-09T14:36:19+0200”。