Confluence via strong normalisation in an algebraic calculus with rewriting

Confluence via strong normalisation in an algebraic ?-calculus with rewriting – Accepted in LSFA 2011. To appear in EPTCS – Pablo Buiras1 Alejandro Díaz-Caro2 Mauro Jaskelioff1,3 1Universidad Nacional de Rosario, FCEIA, Argentina 2Université de Grenoble, LIG, France 3CIFASIS-CONICET, Argentina Recontre QuAND • July 18, 2011 • Marseille, France

• linear logic


• origin linear


• algebraic ?-calculus


• algebraic


• universidad nacional de rosario