Stéphane Gimenez

According to our database, Stéphane Gimenez authored at least 6 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Interaction Automata and the ia2d Interpreter.

Stéphane Gimenez, David Obwaller

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

The complexity of interaction.

Stéphane Gimenez, Georg Moser

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

The Complexity of Interaction (Long Version).

Stéphane Gimenez, Georg Moser

CoRR, 2015

2013

The Structure of Interaction.

Stéphane Gimenez, Georg Moser

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2011

Realizability Proof for Normalization of Full Differential Linear Logic.

Stéphane Gimenez

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2009

Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire. (Programming, Computation and their Analysis using Nets from Linear Logic).

Stéphane Gimenez

PhD thesis, 2009