TY - RPRT TI - Formalizing the notions of non-interactive and interactive algorithms AU - C. A. Middelburg PY - 2025 DO - 10.47743/sacs.2025.2.211 UR - https://arxiv.org/abs/2405.19037 ID - 2405.19037 ER -