# Matthieu Perrinel

According to our database

Collaborative distances:

^{1}, Matthieu Perrinel authored at least 5 papers between 2012 and 2018.Collaborative distances:

## 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

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

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

Acta Inf., 2012