Matthieu Perrinel

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 2

Top Topics

Cut Elimination

Multiagent Learning

Top Venues

Acta Informatica

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Matthieu Perrinel
Paths-based criteria and application to linear logic subsystems characterizing polynomial time. Inf. Comput. 261 (2018)
Matthieu Perrinel
Paths-based criteria and application to linear logic subsystems characterizing polynomial time. CoRR (2017)
Matthieu Perrinel
On context semantics and interaction nets. CSL-LICS (2014)
Matthieu Perrinel
On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets. FOPARA (2013)
Matthieu Perrinel
Strong polynomial bound for light linear logic by levels CoRR (2012)
Pierre Lescanne, Matthieu Perrinel
"Backward" coinduction, Nash equilibrium and the rationality of escalation. Acta Informatica 49 (3) (2012)
Pierre Lescanne, Matthieu Perrinel
On the Rationality of Escalation CoRR (2010)