Ordinal analysis of partial combinatory algebras - Paul Shafer; Sebastiaan A. Terwijn (2020)