On the Rationality of Escalation - Pierre Lescanne; Matthieu Perrinel (CoRR, 2010)

"Backward" coinduction, Nash equilibrium and the rationality of escalation. - Pierre Lescanne; Matthieu Perrinel (Acta Informatica, 2012)

Strong polynomial bound for light linear logic by levels - Matthieu Perrinel (CoRR, 2012)

On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets. - Matthieu Perrinel (FOPARA, 2013)

On context semantics and interaction nets. - Matthieu Perrinel (CSL-LICS, 2014)

Investigating the expressivity of linear logic subsystems characterizing polynomial time. (Exploration de l'expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial). - Matthieu Perrinel (2015)

Paths-based criteria and application to linear logic subsystems characterizing polynomial time. - Matthieu Perrinel (Inf. Comput., 2018)