TY - RPRT TI - Uniform Elgot Iteration in Foundations AU - Sergey Goncharov PY - 2021 DO - 10.4230/lipics.icalp.2021.131 UR - https://arxiv.org/abs/2102.11828 ID - 2102.11828 ER -