TY  - RPRT
TI  - A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
AU  - Patrick Baillot
AU  - Ugo Dal Lago
AU  - Cynthia Kop
AU  - Deivid Vale
PY  - 2025
DO  - 10.46298/lmcs-21(4:19)2025
UR  - https://arxiv.org/abs/2401.12385
ID  - 2401.12385
ER  -