建构类型理论中范畴对象平等的BibTeX导出

复制到剪贴板 下载

@会议记录{palmgren:LIPIcs.类型.2017.7，author={Palmgren，Erik}，title={{论建构类型理论范畴中客体的平等}}，booktitle={第23届国际校样和程序类型会议（Types 2017）}，页数={7:1--7:7}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-071-2}，ISSN={1868-8969}，年份＝{2019}，体积={104}，editor={阿贝尔、安德烈亚斯和诺德瓦尔·福斯伯格、弗雷德里克和卡波西、安布罗斯}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TYPES.2017.7},URN={URN:nbn:de:0030-drops-100553}，doi={10.4230/LIPIcs.TYPES.2017.7}，annote={关键词：类型理论，形式化，范畴理论，集合}}

Dagstuhl Publishing在其网页上提供的元数据，以及我们网站上提供的导出格式（如XML或BibTeX），根据CC0 1.0公共域专用许可证发布。也就是说，您可以自由复制、分发、使用、修改、转换、构建，并根据我们的数据制作衍生作品，即使是出于商业目的，都是未经许可的。当然，如果您能为我们提供链接作为数据来源，我们将非常高兴。

阅读完整的CC0 1.0法律法规，了解适用的确切条款：https://creativecommons.org/publicdomain/zero/1.0/legalcode