“Backward” coinduction, Nash equilibrium and the rationality of escalation P Lescanne, M Perrinel Acta informatica 49, 117-137, 2012 | 30 | 2012 |
On context semantics and interaction nets M Perrinel Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 15 | 2014 |
On paths-based criteria for polynomial time complexity in proof-nets (long version) M Perrinel | 5 | 2013 |
On paths-based criteria for polynomial time complexity in proof-nets M Perrinel International Workshop on Foundational and Practical Aspects of Resource …, 2013 | 2 | 2013 |
Investigating the expressivity of linear logic subsystems characterizing polynomial time M Perrinel Ecole normale supérieure de lyon-ENS LYON, 2015 | 1 | 2015 |
Paths-based criteria and application to linear logic subsystems characterizing polynomial time M Perrinel Information and Computation 261, 23-54, 2018 | | 2018 |
Investigating the expressivity of linear logic subsystems characterizing polynomial time| Theses. fr M Perrinel Lyon, École normale supérieure, 2015 | | 2015 |
Strong polynomial bound for Light Linear Logic by Levels M Perrinel arXiv preprint arXiv:1201.2956, 2012 | | 2012 |
On the Expressivity of Linear Logic Subsystems Characterizing Polynomial Time M Perrinel LICS 2012 Short Papers, 39, 0 | | |
Stratified Nested Linear Logic (short paper) M Perrinel | | |
Stratified Nested Linear Logic M Perrinel | | |
Type system based on Linear Logic by Levels M Perrinel | | |
Escalation is rational P Lescanne, M Perrinel | | |