Matthieu Perrinel

According to our database1, Matthieu Perrinel authored at least 5 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...