On Formalised Proofs of Termination of Recursive Functions.

Fairouz Kamareddine, Franois Monin

Browse the full PPDP paper archive.