I will present recent results and work in progress on adapting proof theoretic methods to non-well-founded notions of proof.