Friday 26 February 2016, Proof Constructivization in Meta-Dedukti, Raphaël Cauderlier (Cnam/Inria).
Abstract.