On Proof Schemata and Primitive Recursive Arithmetic.

Alexander Leitsch, Anela Lolic, Stella Mahler

Browse the full LPAR paper archive.