@会议记录{blanqui_et_al:LIPIcs.FSCD.2021.20,author={布兰基,法语\'{e} d日\'{e} 里克还有Dowek、Gilles和Grienenberger{E} 米利还有Hondet、Gabriel和Thir'{e}、Fran{c} 操作系统},title={{数学的一些公理}},booktitle={第六届计算和演绎形式结构国际会议(FSCD 2021)},页数={20:1--20:19},series={Leibniz国际信息学论文集(LIPIcs)},ISBN={978-3-95977-191-7},ISSN={1868-8969},年份={2021},体积={195},editor={小林,直纪},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.20},URN={URN:nbn:de:0030-drops-142581},doi={10.4230/LIPIcs.FSCD.2021.20},annote={关键词:逻辑框架,公理理论,依赖类型,重写,互操作}}