Baillot, P., Lago, U. D., Kop, C., & Vale, D. (2025). A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations. Logical methods in computer science, 21, Issue 4, . https://doi.org/10.46298/lmcs-21(4:19)2025
Chicago-Zitierstil (17. Ausg.)Baillot, Patrick, Ugo Dal Lago, Cynthia Kop, und Deivid Vale. "A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations." Logical Methods in Computer Science 21, Issue 4 (2025). https://doi.org/10.46298/lmcs-21(4:19)2025.
MLA-Zitierstil (9. Ausg.)Baillot, Patrick, et al. "A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations." Logical Methods in Computer Science, vol. 21, Issue 4, 2025, https://doi.org/10.46298/lmcs-21(4:19)2025.