Nominal syntax with atom substitutions

Jesús Domínguez, Maribel Fernández. Nominal syntax with atom substitutions. J. Comput. Syst. Sci., 119:34-59, 2021. [doi]

Abstract

Abstract is missing.