. . . . . “Beniamino Accattoli等人：强大的Call-by值是合理的，内生的。（2021）”。 . . _：ID_295bd0bd20c25bf30151fc6576f591b2。_：ID_295bd0bd20c25bf30151fc6576f591b2 ._：ID_295bd0bd20c25bf30151fc6576f591b2 ._：ID_295bd0bd20c25bf30151fc6576f591b2“conf/lics/AccattolicCC21”。 _：ID_29f9d90682330c36b05898835be7a587。_：ID_29f9d90682330c36b05898835be7a587 ._：ID_29f9d90682330c36b05898835be7a587 ._：ID_29f9d90682330c36b05898835be7a587“10.1109/LICS52264.2021.9470630”。 “强大的Call-by Value是合理的，具有内爆性。”。 . . . . "3"^^. _：Sig_86f48b7fca98ebaf5eeab72820cc216e_1。_：Sig_86f48b7fca98ebaf5eeab72820cc216e_1 ._：Sig_86f48b7fca98ebaf5eeab72820cc216e_1“贝尼亚米·阿卡托利”。_：Sig_86f48b7fca98ebaf5eeab72820cc216e_1 ._：信号_86f48b7fca98ebaf5eab72820cc216e_1"1"^^._：信号_86f48b7fca98ebaf5eab72820cc216e_1 . _：Sig_86f48b7fca98ebaf5eeab72820cc216e_2。_：Sig_86f48b7fca98ebaf5eeab72820cc216e_2 ._：Sig_86f48b7fca98ebaf5eeab72820cc216e_2“安德烈亚·康多卢奇”。_：Sig_86f48b7fca98ebaf5eeab72820cc216e_2 ._：Sig_86f48b7fca98ebaf5eeab72820cc216e_2"2"^^._：Sig_86f48b7fca98ebaf5eeab72820cc216e_2 . _：Sig_86f48b7fca98ebaf5eeab72820cc216e_3。_：信号_86f48b7fca98ebaf5eab72820cc216e_3 ._：Sig_86f48b7fca98ebaf5eeab72820cc216e_3“Claudio Sacerdoti Coen”。_：Sig_86f48b7fca98ebaf5eeab72820cc216e_3 ._：Sig_86f48b7fca98ebaf5eeab72820cc216e_3"3"^^._：Sig_86f48b7fca98ebaf5eeab72820cc216e_3 . . . . "1-14" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/AccattolicCC21'的RDF数据的来源信息”。 . . . “2021-07-09T14:36:19+0200”。