Jäger, Gerhard MaxGerhard MaxJägerKahle, ReinhardReinhardKahleSetzer, AntonAntonSetzerStrahm, Thomas AdrianThomas AdrianStrahm2024-10-252024-10-251999https://boris-portal.unibe.ch/handle/20.500.12422/160892en000 - Computer science, knowledge & systems500 - Science::510 - MathematicsThe proof-theoretic analysis of transfinitely iterated fixed point theoriesarticle10.7892/boris.11509510.2307/2586750