Journal paper accepted at the Logical Methods in Computer Science

The paper A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations — which is a collaborative work with Ugo dal Lago, Patrick Baillot, and Cynthia Kop — just got accepted at LMCS.

A preprint of the paper is available at arXiv.org:2401.12385.