. . . . . “Andrew G.Barber等人：从动作微积分到线性逻辑（1997）”。 . _：ID_13c1d86afd14e6d46d31e792773cc1d5。_：ID_13c1d86afd14e6d46d31e792773cc1d5 ._：识别号_13c1d86afd14e6d46d31e792773cc1d5 ._：ID_13c1d86afd14e6d46d31e792773cc1d5 ._：ID_13c1d86afd14e6d46d31e792773cc1d5“conf/csl/BarberGHP97”。 _：ID_2fc50b3c93c5e45173697009a4c05521。_：ID_2fc50b3c93c5e45173697009a4c05521 ._：ID_2fc50b3c93c5e45173697009a4c05521 ._：ID_2fc50b3c93c5e45173697009a4c05521 ._：ID_2fc50b3c93c5e45173697009a4c05521“10.1007/BFB0028008”。 “从动作微积分到线性逻辑”。 . . . . . . . . . "4"^^. _：Sig_308ca90f9fd80a1889fcb83719ffe519_1。_：Sig_308ca90f9fd80a1889fcb83719ffe519_1 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_1 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_1“安德鲁·巴伯”。_：Sig_308ca90f9fd80a1889fcb83719ffe519_1 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_1"1"^^._：Sig_308ca90f9fd80a1889fcb83719ffe519_1 . _：Sig_308ca90f9fd80a1889fcb83719ffe519_2。_：Sig_308ca90f9fd80a1889fcb83719ffe519_2 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_2 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_2“菲利普·加德纳”。_：Sig_308ca90f9fd80a1889fcb83719ffe519_2 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_2"2"^^._：Sig_308ca90f9fd80a1889fcb83719ffe519_2 . _：Sig_308ca90f9fd80a1889fcb83719ffe519_3。_：Sig_308ca90f9fd80a1889fcb83719ffe519_3 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_3 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_3“长谷川正彦”。_：Sig_308ca90f9fd80a1889fcb83719ffe519_3 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_3 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_3"3"^^._：Sig_308ca90f9fd80a1889fcb83719ffe519_3 . _：Sig_308ca90f9fd80a1889fcb83719ffe519_4。_：Sig_308ca90f9fd80a1889fcb83719ffe519_4 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_4 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_4“Gordon D.Plotkin”。_：Sig_308ca90f9fd80a1889fcb83719ffe519_4 ._：Sig_308ca90f9fd80a1889fcb83719ffe519_4"4"^^._：Sig_308ca90f9fd80a1889fcb83719ffe519_4 . . . . . "78-97" . “CSL”。 “CSL”。 "1997"^^. "1998"^^. . “dblp记录'conf/csl/BarberGHP97'的RDF数据的起源信息”。 . . . “2022-10-02T15:58:20+0200”。