# Matthieu Perrinel

According to our database

^{1}, Matthieu Perrinel## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

Inf. Comput., 2018

2017

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

CoRR, 2017

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).

PhD thesis, 2015

2014

On context semantics and interaction nets.

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.

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

2012

Strong polynomial bound for light linear logic by levels

CoRR, 2012

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

Acta Inf., 2012

2010

On the Rationality of Escalation

CoRR, 2010