Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting

DOI10.1093/LOGCOM/EXI010zbMath1101.68639DBLPjournals/logcom/Sinot05OpenAlexW2103825283WikidataQ56050818 ScholiaQ56050818MaRDI QIDQ3025334

François-Régis Sinot

Publication date: 13 July 2005

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

Full work available at URL: https://semanticscholar.org/paper/c7d241a8ec7a76c0785c4658aeb45642b59b08d9

zbMATH Keywords

rewritingdirector stringsVariables

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A \(\rho\)-calculus of explicit constraint application

This page was built for publication: Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting