BibTeX记录日志/rml/VidalT10
@文章{DBLP:journals/rml/VidalT10， author={Juan Climent Vidal和 Juan Soliveres Tur}， title={many-sorted的语法和语义的双范畴框架 等式逻辑}， journal={Reports Math.Log.}， 体积={45}， 页数={37--95}， 年份={2010}， url={ https://rml.tcs.uj.edu.pl/rml-45/03-气候.pdf }, timestamp={2021年12月8日星期三17:06:01+0100}， biburl={ https://dblp.org/rec/journals/rml/VidalT10.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
