Corradini, A.; Gadducci, F. A 2-categorical presentation of term graph rewriting. (English) Zbl 0889.68085 Moggi, Eugenio (ed.) et al., Category theory and computer science. 7th international conference, CTCS ’97, Santa Margherita Ligure, Italy, September 4–6, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1290, 87-105 (1997). MSC: 68Q42 18D05 PDFBibTeX XMLCite \textit{A. Corradini} and \textit{F. Gadducci}, Lect. Notes Comput. Sci. 1290, 87--105 (1997; Zbl 0889.68085)
Descles, J. P. Graphes sans circuit et bilinearite. (French) Zbl 0519.18002 Math. Sci. Hum. 81, 5-45 (1983). MSC: 18A10 18E05 05C38 05C50 68R10 18A30 PDFBibTeX XMLCite \textit{J. P. Descles}, Math. Sci. Hum. 81, 5--45 (1983; Zbl 0519.18002) Full Text: Numdam EuDML