@misc{indiciae94245915ff02,
  title = {A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations},
  author = {Patrick Baillot and Ugo Dal Lago and Cynthia Kop and Deivid Vale},
  year = {2025},
  doi = {10.46298/lmcs-21(4:19)2025},
  url = {https://arxiv.org/abs/2401.12385},
  note = {Source identifier: 2401.12385}
}