Frithjof Dau. Types and Tokens for Logic with Diagrams. In Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, editors, Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings. Volume 3127 of Lecture Notes in Computer Science, pages 62-93, Springer, 2004. [doi]
Abstract is missing.