Folgen
Matthieu Perrinel
Matthieu Perrinel
doctorant d'informatique, ENS Lyon
Bestätigte E-Mail-Adresse bei ens-lyon.fr
Titel
Zitiert von
Zitiert von
Jahr
“Backward” coinduction, Nash equilibrium and the rationality of escalation
P Lescanne, M Perrinel
Acta informatica 49, 117-137, 2012
302012
On context semantics and interaction nets
M Perrinel
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
152014
On paths-based criteria for polynomial time complexity in proof-nets (long version)
M Perrinel
52013
On paths-based criteria for polynomial time complexity in proof-nets
M Perrinel
International Workshop on Foundational and Practical Aspects of Resource …, 2013
22013
Investigating the expressivity of linear logic subsystems characterizing polynomial time
M Perrinel
Ecole normale supérieure de lyon-ENS LYON, 2015
12015
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13