Provably Total Primitive Recursive Functions: Theories with Induction.

Andrs Cordn-Franco, Alejandro Fernndez-Margarit, Francisco Flix Lara Martn

Browse the full CSL paper archive.