。 。 。 。 。 《菲利普·加德纳：动作演算的类型理论描述》（1997）。 。 。 _：ID_4e8f7db98cdbc9e79fcc9259f93503e8。_：ID_4e8f7db98cdbc9e79fcc9259f93503e8 。_：ID_4e8f7db98cdbc9e79fcc9259f93503e8 。_：ID_4e8f7db98cdbc9e79fcc9259f93503e8“journals/entcs/Gardner97”。 _：ID_7dbce93937da2a6431e1f75805fbcc38。_：ID_7dbce93937da2a6431e1f75805fbcc38 。_：ID_7dbce93937da2a6431e1f75805fbcc38 。_：ID_7dbce93937da2a6431e1f75805fbcc38“10.1016/S1571-0661（05）82513-7”。 “动作演算的类型理论描述”。 。 。 "1"^^。 _：Sig_11e81d77e865292b6325321854be632c_1。_：Sig_11e81d77e865292b6325321854be632c_1 。_：Sig_11e81d77e865292b6325321854be632c_1“菲利普·加德纳”。_：Sig_11e81d77e865292b6325321854be632c_1 。_：Sig_11e81d77e865292b6325321854be632c_1"1"^^。_：Sig_11e81d77e865292b6325321854be632c_1 。 。 。 。 "52" . “HOOTS”。 “HOOTS”。 "1997"^^。 "1997"^^。 。 “dblp记录'journals/entcs/Gardner97'的RDF数据的来源信息”。 。 。 。 “2022-11-11T13:33:56+0100”。