托马斯·埃尔哈德;奥利维·洛朗 解释微分相互作用网中的有限像素。 (英语) Zbl 1205.68242号 Inf.计算。 208,第6号,606-633(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard}和\textit{O.Laurent},Inf.Compute。208,第6号,606--633(2010;Zbl 1205.68242) 全文: 内政部 哈尔
本田、高黑;奥利维·洛朗 类型化pi-calculus和极化证明网之间的精确对应。 (英语) 兹比尔1203.68114 理论。计算。科学。 411,第22-24号,2223-2238(2010).MSC公司:68问题85 07年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{K.Honda}和\textit{O.Laurent},Theor。计算。科学。411,No.22--24,2223--2238(2010;Zbl 1203.68114) 全文: 内政部
奥利维·洛朗 两极化游戏。 (英语) 兹比尔1055.03020 Ann.纯粹应用。逻辑 130,编号1-3,79-123(2004).MSC公司:03B70号 03楼52 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{O.Laurent},Ann.纯苹果。逻辑130,编号1--3,79-123(2004;Zbl 1055.03020) 全文: 内政部