We stand with Ukraine  

Lionel Marie-Magdeleine

According to our database1, Lionel Marie-Magdeleine authored at least 2 papers in 2009.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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).
[BibTeX]
[DOI]
Lionel Marie-Magdeleine
PhD thesis, 2009

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach.
[BibTeX]
[DOI]
Maxime Rebout
,
Louis Féraud
,
Lionel Marie-Magdeleine
,
Sergei Soloviev
Proceedings of the Advances in Software Engineering Techniques, 2009


  Loading...