提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:journals/entcs/Gardner97澳大利亚-菲利普·加德纳TI-动作演算的类型理论描述。BT-语义高阶操作技术第二次研讨会，HOOTS 1997，斯坦福，加利福尼亚州，美国，1997年12月8日至12日SP-52型1997年上半年//DO-10.1016/S1571-0661（05）82513-7UR-（欧元）https://doi.org/10.1016/S1571-0661(05)82513-7急诊室-