Roberto Di Cosmo. On the power of simple diagrams. In Rewriting Techniques and Applications, number 1103 in Lecture Notes in Computer Science, pages 200--214, July 1996.

bib | DOI | Local copy | Url ] This file was generated by bibtex2html 1.98.