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 λ-calculus with unconditional rewriting is now well un- derstood. In this paper, we investigate the confluence of λ-calculus with conditional rewriting an…