乔杜里，考斯图夫;Joëlle Despeyroux公司;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合线性逻辑，重温。 （英语） 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） 全文： 内政部
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莲·皮门特尔 混合和次指数线性逻辑。 （英语） Zbl 1395.03034号 Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第11次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记33295-111（2017）。MSC公司：03楼52 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux}等人，《电子》。注释Theor。计算。科学。33295--111（2017；Zbl 1395.03034） 全文： 内政部 arXiv公司
卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 （英语） Zbl 1371.68197号 西奥。计算。科学。 685, 46-64 (2017).MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}和\textit{E.Pimentel}，Theor。计算。科学。685、46-64（2017年；Zbl 1371.68197） 全文： 内政部
C·奥尔特。;Chiarugi，D。;M.法拉斯基。;D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 （英语） Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司：60年第68季度 03楼52 2005年第68季度 2010年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Theor。计算。科学。641、25-42（2016年；Zbl 1344.68140） 全文： 内政部 链接