@第{zbMATH07037620条，作者={Ahrens，Benedikt和Lefanu Lumsdaine，Peter}，标题={显示的类别}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={15}，数字={1}，页码={18}，注={Id/No 20}，年份={2019}，语言={英语}，关键词={18A15,03B15}，zbMATH={7037620}，Zbl={1419.18001}}