@第{zbMATH00064872条，作者={Kfoury，A.J.和Tiuryn，J.}，Title={二阶{{\（lambda\）}}-演算}有限秩片段中的类型重建，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={98}，数字={2}，Pages＝{228-257}，年份={1992年}，语言={英语}，DOI={10.1016/0890-5401（92）90020-G}，关键词={68N01、68N15、03B40、68Q25}，zbMATH={64872}，Zbl={0753.68022}}