TY - RPRT TI - Tuple Interpretations and Applications to Higher-Order Runtime Complexity AU - Cynthia Kop AU - Deivid Vale PY - 2022 UR - https://arxiv.org/abs/2206.15202 ID - 2206.15202 ER -