Matthieu Perrinel

According to our database, Matthieu Perrinel authored at least 7 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Paths-based criteria and application to linear logic subsystems characterizing polynomial time.

Matthieu Perrinel

Inf. Comput., 2018

2015

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

PhD thesis, 2015

2014

On context semantics and interaction nets.

Matthieu Perrinel

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets.

Matthieu Perrinel

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Strong polynomial bound for light linear logic by levels

Matthieu Perrinel

CoRR, 2012

"Backward" coinduction, Nash equilibrium and the rationality of escalation.

Pierre Lescanne, Matthieu Perrinel

Acta Informatica, 2012

2010

On the Rationality of Escalation

Pierre Lescanne, Matthieu Perrinel

CoRR, 2010