Maribel Fernández, José Meseguer 0001. Formalizing Languages with Binding Operators in Rewriting Logic. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]
Abstract is missing.