@收款{zbMATH07204424，作者={Ahrens、Benedikt和Lumsdaine、Peter LeFanu}，标题={显示的类别}，BookTitle={第二届计算和扣除形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼}，国际标准图书编号={978-3-95977-047-7}，页码={16}，注意＝{Id/No 5}，年份={2017年}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/LIPIcs.FSCD.2017.5}，关键词={18A15,03B38}，zbMATH={7204424}，Zbl={1434.18002}}