@InCollection｛zbMATH06792363，作者={Timany，Amin和Jacobs，Bart}，标题={Coq}8.5}中的范畴理论，BookTitle={2016年6月22日至26日在葡萄牙波尔图举行的第一届计算和扣除正式结构国际会议，FSCD 2016。诉讼}，国际标准图书编号={978-3-95977-010-1}，页码={18}，注={Id/No 30}，年份={2016年}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/LIPIcs.FSCD.2016.30}，关键词={68T15,03B15,03G30,18A99,55U40}，zbMATH={6792363}，Zbl=｛1387.68208｝}