@收款{zbMATH07204443，作者＝{Kesner，Delia和Vial，Pierre}，标题={类型作为经典自然演绎的资源}，BookTitle={第二届计算和扣除形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼}，国际标准图书编号={978-3-95977-047-7}，页码={17}，注={Id/No 24}，年份={2017年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.FSCD.2017.24}，关键词={03B40}，zbMATH={7204443}，Zbl={1434.03053}}