On diagram tokens and types (0)

by J Howse, F Molina, S J Shin, J Taylor
Venue:in: Proceedings of 2nd International Conference on the Theory and Application of Diagrams (2002