1. David Baelde Amina Doumane Denis Kuperberg and Alexis Saurin. 2020. Bouncing threads for infinitary and circular proofs. CoRR abs/2005.08257(2020). arXiv:2005.08257https://arxiv.org/abs/2005.08257 David Baelde Amina Doumane Denis Kuperberg and Alexis Saurin. 2020. Bouncing threads for infinitary and circular proofs. CoRR abs/2005.08257(2020). arXiv:2005.08257https://arxiv.org/abs/2005.08257
2. David Baelde , Amina Doumane , and Alexis Saurin . 2016. Infinitary Proof Theory: the Multiplicative Additive Case. 62 ( 2016 ), 42:1–42:17. https://doi.org/10.4230/LIPIcs.CSL.2016.42 David Baelde, Amina Doumane, and Alexis Saurin. 2016. Infinitary Proof Theory: the Multiplicative Additive Case. 62 (2016), 42:1–42:17. https://doi.org/10.4230/LIPIcs.CSL.2016.42
3. Stephen Bellantoni . 1995. Predicative Recursion and The Polytime Hierarchy . In Feasible Mathematics II, Peter Clote and Jeffrey B. Remmel (Eds.). Birkhäuser Boston , Boston, MA , 15–29. Stephen Bellantoni. 1995. Predicative Recursion and The Polytime Hierarchy. In Feasible Mathematics II, Peter Clote and Jeffrey B. Remmel (Eds.). Birkhäuser Boston, Boston, MA, 15–29.
4. A new recursion-theoretic characterization of the polytime functions (extended abstract)
5. Higher type recursion, ramification and polynomial time