Relating Higher-order and First-order Rewriting

DOI10.1093/LOGCOM/EXI050zbMath1085.68075OpenAlexW2079273254MaRDI QIDQ3371149

Delia Kesner, Alejandro Ríos, Eduardo Bonelli

Publication date: 21 February 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi050

zbMATH Keywords

explicit substitutions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility

This page was built for publication: Relating Higher-order and First-order Rewriting