@第{zbMATH07106500条，作者＝｛Ahrens，Benedikt｝，标题={类型化语法和语义的缩写}，FJournal={形式化推理杂志}，日志={J.Formaliz.Reason.}，ISSN={1972-5787}，体积＝｛8｝，数字={2}，页码={1--155}，年份={2015年}，语言={英语}，DOI={10.6092/issn.1972-5787/4712}，关键词={68N30,68N18,68Q55,68V20}，zbMATH={7106500}，Zbl={1451.68072}}