selected publications

• academic article

  • LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes.  arXiv (Cornell University).  360:27-44. 2022

• blog posting

  • A semantics of K into Dedukti.  HAL (Le Centre pour la Communication Scientifique Directe). 2022

• conference paper

  • FaCiLe en Coq : vérification formelle des listes d'intervalles.  . 2020