Ronan Saillard
:: About me
I am no longer at CRI.I am a PhD student at the Computer Science Research Center (CRI) of MINES ParisTech, working under the supervision of Pierre Jouvelot and Olivier Hermant.
I am also a member of the INRIA team Deducteam.
Email ronan dot saillard at cri dot ensmp dot fr / ronan dot saillard at inria dot fr
Phone +33 (1) 64 69 48 33
Office R.05
Address 35 rue Saint-Honoré 77305 Fontainebleau, France
:: Publications
- Type Checking in the Lambda-Pi-Calculus Modulo: Theory and Practice (Thesis Manuscript, draft). PDF
- Rewriting Modulo beta in the lambda-Pi-Calculus Modulo (LFMTP '15). PDF PDF (long version)
- Towards Explicit Rewrite Rules in the lambda-Pi-Calculus Modulo (IWIL '13). PDF Slides
:: Software
I am a developer of Dedukti.