From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory.

Valentin Blot, Gilles Dowek, Thomas Traversi, Tho Winterhalter

Browse the full FOSSACS paper archive.