Mahler, S. (2024, September 12). Proof Schemata and Primitive Recursive Arithmetic [Conference Presentation]. 6th International School and Workshop on Proof Theory (Proof Society 2024), Birmingham, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/211019