TY - RPRT TI - The Expressiveness of Looping Terms in the Semantic Programming AU - Sergey Goncharov AU - Sergey Ospichev AU - Denis Ponomaryov AU - Dmitri Sviridenko PY - 2020 UR - https://arxiv.org/abs/1912.02731 ID - 1912.02731 ER -