帕特里克·贝洛特;亚历克西斯·盖塞伦 像素计算中并行计算复杂性的类型。 （英文） Zbl 1473.68111号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12648, 59-86 (2021).MSC公司：68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{A.Ghyselen}，莱克特。注释计算。科学。12648，59-86（2021；Zbl 1473.68111） 全文： 内政部 哈尔
帕特里克·贝洛特;亚历克西斯·盖塞伦 结合线性逻辑和大小类型以实现隐式复杂性。 （英文） Zbl 1433.68086号 西奥。计算。科学。 813, 70-99 (2020).MSC公司：68甲18 03B70号 03楼52 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{A.Ghyselen}，Theor。计算。科学。813、70-99（2020年；Zbl 1433.68086） 全文： 内政部 链接
帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 次递归定义的隐式计算复杂性及其在密码证明中的应用。 （英文） Zbl 1468.68057号 J.汽车。推理 63，第4号，813-855（2019）.MSC公司：68甲18 03楼52 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人，J.Autom。推理63，No.4，813--855（2019；Zbl 1468.68057） 全文： 内政部 哈尔
帕特里克·贝洛特;亚历克西斯·盖塞伦 结合线性逻辑和大小类型以实现隐式复杂性。 （英文） Zbl 1528.68056号 Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第9条，第21页（2018年）。MSC公司：68甲18 03B70号 03楼52 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{A.Ghyselen}，LIPIcs——莱布尼茨国际程序。通知。119，第9条，第21页（2018；Zbl 1528.68056） 全文： 内政部
帕特里克·贝洛特;乌戈·达尔拉戈 高阶解释和程序复杂性。 （英文） Zbl 1339.68037号 Inf.计算。 248, 56-81 (2016).MSC公司：68甲18 2015年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{U.Dal Lago}，Inf.Compute。24856--81（2016；Zbl 1339.68037） 全文： 内政部
帕特里克·贝洛特 关于初等线性逻辑的表示性：刻画Ptime和指数时间层次。 （英文） Zbl 1310.03052号 Inf.计算。 241, 3-31 (2015).MSC公司：03楼52 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}，信息计算。241，3--31（2015年；兹bl 1310.03052） 全文： 内政部
帕特里克·贝洛特;乌戈·达尔拉戈;Jean-Yves Moyen 关于准解释、盲抽象和隐含复杂性。 （英文） Zbl 1288.68078号 数学。结构。计算。科学。 22，第4期，549-580（2012）.MSC公司：2015年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人，数学。结构。计算。科学。22，第4号，549--580（2012；Zbl 1288.68078） 全文： 内政部
帕特里克·贝洛特;保罗·科波拉;乌戈·达尔拉戈 轻逻辑和最优约简：完整性和复杂性。 （英文） Zbl 1233.03059号 Inf.计算。 209，第2期，118-142（2011）.MSC公司：03楼52 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人，《信息计算》。209，第2号，118--142（2011；Zbl 1233.03059） 全文： 内政部
帕特里克·贝洛特;川崎捷瑞 lambda微积分中多项式时间计算的光类型。 （英文） Zbl 1169.68010号 Inf.计算。 207，第1期，第41-62页（2009年）.MSC公司：68甲18 03B40型 03B47号 03B70号 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{K.Terui}，Inf.Compute。207，第1号，41-62（2009；Zbl 1169.68010） 全文： 内政部 哈尔
帕特里克·贝洛特 通过对单词的约束进行轻仿射逻辑的类型推断。 （英文） 兹比尔1071.03018 西奥。计算。科学。 328，第3期，289-323（2004）.MSC公司：03B70号 03楼52 2015年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \提奥，textit{P.Baillot}。计算。科学。328，第3号，289--323（2004；Zbl 1071.03018） 全文： 内政部
帕特里克·贝洛特 分层相干空间：轻型线性逻辑的指称语义。 （英文） Zbl 1051.03050号 西奥。计算。科学。 318，编号1-2，29-55（2004）. 审核人：赛义德·萨利希（图尔库） MSC公司：03楼52 PDF格式BibTeX公司 XML格式引用 \提奥，textit{P.Baillot}。计算。科学。318，编号1--2，29-55（2004；Zbl 1051.03050） 全文： 内政部