Flávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón. Metaconfluence of Calculi with Explicit Substitutions at a Distance. In Venkatesh Raman, S. P. Suresh, editors, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India. Volume 29 of LIPIcs, pages 391-402, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.