. . . . . “Paliath Narendran等人：关于笛卡尔闭范畴的统一问题（1993）”。 . . _：ID_83ec3b1955053f685be266c1ab387527。_：ID_83ec3b1955053f685be266c1ab387527 ._：ID_83ec3b1955053f685be266c1ab387527 ._：ID_83ec3b1955053f685be266c1ab387527“conf/lics/NarendranPS93”。 _：ID_848a4362b675efab0099ef7af5f3fac2。_：ID_848a4362b675efab0099ef7af5f3fac2 ._：ID_848a4362b675efab0099ef7af5f3fac2 ._：ID_848a4362b675efab0099ef7af5f3fac2“10.1109/LICS.1993.287600”。 “关于笛卡尔闭范畴的统一问题”。 . . . . "3"^^. _：Sig_e184f5dbfdcf24b97b2184550f04e3_1。_：Sig_e184f5dbfedbcf24b97b2184550f04e3_1 ._：Sig_e184f5dbfedbcf24b97b2184550f04e3_1“巴利亚特·纳伦德兰”。_：Sig_e184f5dbfedbcf24b97b2184550f04e3_1 ._：Sig_e184f5dbfedbcf24b97b2184550f04e3_1"1"^^._：Sig_e184f5dbfedbcf24b97b2184550f04e3_1 . _：Sig_e184f5dbfdcf24b97b2184550f04e3_2。_：Sig_e184f5dbfedbcf24b97b2184550f04e3_2 ._：Sig_e184f5dbfedbcf24b97b2184550f04e3_2“Frank Pfenning”。_：Sig_e184f5dbfedbcf24b97b2184550f04e3_2 ._：Sig_e184f5dbfedbcf24b97b2184550f04e3_2"2"^^._：信号_e184f5dbfdcf24b97b2184550f04e3_2 . _：Sig_e184f5dbfedbcf24b97b2184550f04e3_3。_：Sig_e184f5dbfedbcf24b97b2184550f04e3_3 ._：Sig_e184f5dbfedbcf24b97b2184550f04e3_3“Richard Statman”。_：Sig_e184f5dbfedbcf24b97b2184550f04e3_3 ._：Sig_e184f5dbfedbcf24b97b2184550f04e3_3"3"^^._：Sig_e184f5dbfedbcf24b97b2184550f04e3_3 . . . . . "57-63" . “LICS”。 “LICS”。 "1993"^^. "1993"^^. . “dblp记录'conf/lics/NarendranPS93'的RDF数据的起源信息”。 . . . “2023-03-24T00:01:49+0100”。