. . . . . “菲利普·加德纳（Philippa Gardner）和长谷川正彦（Masahito Hasegawa:Higher Order Action Calculi的类型和模型，1997）”。 . _：ID_32da1b5b8921cb7f8c4a2a830349a680。_：ID_32da1b5b8921cb7f8c4a2a830349a680 ._：ID_32da1b5b8921cb7f8c4a2a830349a680 ._：ID_32da1b5b8921cb7f8c4a2a830349a680 ._：ID_32da1b5b8921cb7f8c4a2a830349a680“conf/tacs/GardnerH97”。 _：ID_4edd4e2d1fd2c8fc7ef3e073eb877cf。_：ID_4edd4e2d1fd2c8fc7ef3e073eb877cf ._：ID_4edd4e2d1fd2c8fc7ef3e073eb877cf ._：ID_4edd4e2d1fd2c8fc7ef3e073eb877cf ._：ID_4edd4e2d1fd2c8fc7ef3e073eb877cf“10.1007/BFB0014569”。 “高阶动作演算的类型和模型”。 . . . . . "2"^^. _：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_1。_：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_1 ._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_1 ._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_1“菲利普·加德纳”。_：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_1 ._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_1"1"^^._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_1 . _：Sig_4fa4ec002be4ec3a914fb27a60cc9c4_2。_：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_2 ._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_2 ._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_2“长谷川正彦”。_：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_2 ._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_2 ._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_2"2"^^._：Sig_4fa4ec002be4eec3a914fb27a60cc9c4_2 . . . . . "583-603" . “TACS”。 “TACS”。 "1997"^^. "1997"^^. . “dblp记录'conf/tacs/GardnerH97'的RDF数据的来源信息”。 . . . “2022-10-02T16:16:20+0200”。