Matthieu Perrinel

According to our database1, Matthieu Perrinel
  • authored at least 7 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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


  Loading...