@InCollection｛zbMATH01231609，作者={加德纳，菲利普}，Title={动作计算的类型理论描述}，BookTitle={HOOTS II.语义学高级操作技术第二次研讨会，斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日}，页数={电子纸编号7}，年份={1997}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68N15}，URL={www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htmt？jrnl=tcs&sctn=entcs-mode=sub&vol=10#10007}，zbMATH={1231609}，Zbl={0925.68080}}