From nominal to higher-order rewriting and back again

DOI10.2168/LMCS-11(4:9)2015zbMath1448.68254arXiv1509.05318OpenAlexW2239215046MaRDI QIDQ3460411

Jesús Emilio Domínguez, Maribel Fernández

Publication date: 7 January 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.05318

zbMATH Keywords

rewritingnominal syntaxcombinatory reduction systemshigher-order syntaxtranslation tool

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Nominal syntax with atom substitutions