Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. - Maxime Rebout; Louis Féraud; Lionel Marie-Magdeleine; Sergei Soloviev 001 (CEE-SET, 2009)

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 (2009)