Lionel Marie-Magdeleine

Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants. (Coercive subtyping in a system with dependents types and non-standards reductions)

Lionel Marie-Magdeleine, Lionel Marie-Magdeleine, 2009 .

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach

Louis Féraud, Sergei Soloviev, Maxime Rebout, 2009, CEE-SET.