BibTeX记录日志/corr/abs-1304-6762
@文章{DBLP:journals/corr/abs-1304-6762， author={Daniel de Carvalho和 洛伦佐·托托拉·德法尔科， title={线性逻辑中强规范化的语义解释}， 日志={CoRR}， 体积={abs/1304.6762}， 年份={2013}， url={ http://arxiv.org/abs/1304.6762 }, eprinttype={arXiv}， eprint={1304.6762}， timestamp={2018年8月13日星期一16:47:20+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1304-6762.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
