Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory.

Gilles Dowek

Browse the full ICALP paper archive.