| “Backward” coinduction, Nash equilibrium and the rationality of escalation P Lescanne, M Perrinel Acta informatica 49, 117-137, 2012 | 27 | 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 |
| 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 | | |
Pierre LescanneProfesseur émérite à l'ENS de LyonGeverifieerd e-mailadres voor ens-lyon.fr
Pierre LescanneProfesseur émérite à l'ENS de LyonGeverifieerd e-mailadres voor ens-lyon.fr