Publications de
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper)
Dans : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/09-14/10/09, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, p. 164-177, 2009.
Sous-typage coercitif en presence de reductions non-standards dans un système aux types dépendants
Thèse de doctorat, Université Paul Sabatier, mars 2010.
Accès : http://tel.archives-ouvertes.fr/tel-00495360/fr/
BibTeX