@第{zbMATH05346254条，作者={Farmer，William M.}，标题={简单类型理论的七大优点}，FJournal={应用逻辑杂志}，日志={J.Appl.Log.}，ISSN={1570-8683}，体积={6}，数字={3}，页码={267--286}，年份={2008}，语言={英语}，DOI={10.1016/j.jal.2007.11.001}，关键词={03B15}，zbMATH={5346254}，Zbl={1149.03012}}