|
 
|
Mathieu Boespflug
|
Post-doc Laboratoire: Computation and Logic Group, McGill University (Canada) |
Publications
2012
- [BB12] M. Boespflug, G. Burel. "CoqInE : Translating the calculus of inductive constructions into the λΠ-calculus modulo.", Second International Workshop on Proof Exchange for Theorem Proving (PXTP 2012), Manchester, United Kingdom,
