TY  - RPRT
TI  - Confluence via strong normalisation in an algebraic λ-calculus with rewriting
AU  - Pablo Buiras
AU  - Alejandro Díaz-Caro
AU  - Mauro Jaskelioff
PY  - 2012
DO  - 10.4204/eptcs.81.2
UR  - https://arxiv.org/abs/1102.0749
ID  - 1102.0749
ER  -