考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 重新审视混合线性逻辑。 (英语) Zbl 1456.03095号 数学。结构。计算。科学。 29,第8期,1151-1176(2019).MSC公司:03楼52 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人,《数学》。结构。计算。科学。29,第8号,1151--1176(2019;Zbl 1456.03095) 全文: DOI程序
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合和次指数线性逻辑。 (英语) Zbl 1395.03034号 Nigam,Vivek(编辑)等人,《逻辑和语义框架及其应用第十一次研讨会论文集》(LSFA 2016),葡萄牙波尔图,2016年。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记33295-111(2017)。MSC公司:03楼52 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux}等人,《电子》。注释Theor。计算。科学。33295--111(2017;Zbl 1395.03034) 全文: DOI程序 arXiv公司