BibTeX记录conf/lics/NarendranPS93
@正在进行{DBLP:conf/lics/NarendranPS93， author={Paliath Narendran和 Frank Pfenning和 Richard Statman}， title={关于笛卡尔闭范畴的统一问题}， booktitle={第八届计算机科学逻辑年会论文集 {（LICS}'93），加拿大蒙特利尔，1993年6月19日至23日}， 页数={57--63}， publisher={{IEEE}计算机协会}， 年份={1993}， url={ https://doi.org/10.1109/LICS.1993.287600 }, doi={10.1109/LICS.1993.287600}， timestamp={2023年3月24日星期五00:01:49+0100}， biburl={ https://dblp.org/rec/conf/lics/NarendranPS93.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
