Equational Reasoning With 2-Dimensional Diagrams (preliminary Version) (1992)

by Yves Lafont
Venue:Term Rewriting, volume 909 of LNCS
Citations:20 - 1 self