37 citations · 96 across the 20 of their papers we have counts for
1 paper · 1 filter
Jesús Domínguez, Maribel Fernández
We present a translation function from nominal rewriting systems (NRSs) to combinatory reduction systems (CRSs), transforming closed nominal rules and ground nominal terms to CRSs…