@在集合{zbMATH00512782中，作者={雅各布斯、巴特和梅勒姆、汤姆}，Title={将依赖型理论转换为高阶逻辑}，BookTitle={键入lambda calculi和应用程序。国际会议，TLCA’93，1993年3月16日至18日，荷兰乌得勒支。会议记录}，国际标准图书编号={3-540-56517-5}，页码={209--229}，年份={1993}，出版商={柏林：Springer-Verlag}，语言={英语}，关键词={68T15,03B15,03B40}，zbMATH={512782}，Zbl={0788.68130}}