@收款{zbMATH01088052，作者＝{Gardner，Philippa和Hasegawa，Masahito}，标题={高阶动作计算的类型和模型}，BookTitle={计算机软件的理论方面。第三届国际研讨会，1997年TACS。1997年9月23日至26日，日本仙台。诉讼}，国际标准图书编号={3-540-63388-X}，页码={583--603}，年份={1997}，出版商={柏林：施普林格}，语言={英语}，关键词={03B70、68N01、03B40、18D15}，zbMATH={1088052}，Zbl={0885.03036}}