, Inria in Brief, 2018.
, Deducteam, 2018.
High-Tech Europe: The Politics of International Cooperation. Comparative Studies of Health Systems and Medical Care, 1992. ,
Dedukti: a Logical Framework based on the ??Calculus Modulo Theory ,
, Accessed 07, 2018.
A Small Scale Reflection Extension for the Coq system, 2016. ,
URL : https://hal.archives-ouvertes.fr/inria-00258384
Proof Tactics in Dedukti, 2017. ,
A language of patterns for subterm selection, LNCS, vol.7406, pp.361-376, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00652286
Term matching, 2018. ,
Abstract representation of binders in ocaml using the bindlib library, Proceedings of the 13th International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, vol.274, pp.42-56, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01972050
Rewrite tactic, 2018. ,