TY - RPRT TI - Computation as uncertainty reduction: a simplified order-theoretic framework AU - Pedro Hack AU - Daniel A. Braun AU - Sebastian Gottwald PY - 2022 UR - https://arxiv.org/abs/2206.13885 ID - 2206.13885 ER -