@InCollection｛zbMATH101222100，作者={戈德布拉特，罗伯特}，Title={函数lambda抽象代数形成了一个变体}，BookTitle={组合数学、复杂性和逻辑。第一届离散数学和理论计算机科学国际会议论文集，DMTCS’96，新西兰奥克兰，1996年12月9日至13日}，国际标准图书编号={981-3083-14-X}，页码={226--243}，年份={1997}，出版商={柏林：施普林格}，语言={英语}，关键词={03G25,03B40,08B99}，zbMATH={1222100}，Zbl={0940.03071}}