TY - RPRT TI - Summa Summarum: Moessner's Theorem without Dynamic Programming AU - Olivier Danvy PY - 2024 DO - 10.4204/eptcs.413.5 UR - https://arxiv.org/abs/2412.03127 ID - 2412.03127 ER -