8 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Frédéric Blanqui, Claude Kirchner, Colin Riba
The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. In this paper, we investigate the confluence of lambda-calcul…