3 citations · 3 across the 1 of their papers we have counts for
1 paper
Maribel Fernández, Nikolaos Siafakas
We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculu…