Equational Reasoning with Two-Dimensional Diagrams

Yves Lafont. Equational Reasoning with Two-Dimensional Diagrams. In Hubert Comon, Jean-Pierre Jouannaud, editors, Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course. Volume 909 of Lecture Notes in Computer Science, pages 170-195, Springer, 1993.

Abstract

Abstract is missing.