@文章{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}}