@第{zbMATH01774111条，作者＝｛Cardone，Felice｝，Title={递归类型等价的共推完备性证明}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={275}，数字={1-2}，页码={575--587}，年份={2002}，语言={英语}，DOI={10.1016/S0304-3975（01）00298-5}，关键词={68N18}，zbMATH={1774111}，Zbl={1026.68019}}