@会议记录{capriotti_et_al:LIPIcs.CSL.2015.359,author={卡普里奥蒂、保罗和克劳斯、尼古莱和维佐西、安德里亚},title={{高级截断之外的函数}},booktitle={第24届EACSL计算机科学逻辑年会(CSL 2015)},页数={359--373},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-939897-90-3},ISSN={1868-8969},年份={2015},体积={41},editor={Kreutzer,Stephan},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.359},URN={URN:nbn:de:0030-drops-54257},doi={10.4230/LIPIcs.CSL.2015.359},annote={关键词:同伦类型理论,截断消除,循环空间上的恒常性}}