Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings - Anderson, Michael; Anderson, Michael; Cheng, Peter; Cheng, Peter; Haarslev, Volker; Haarslev, Volker (Springer Berlin Heidelberg : Imprint: Springer, 2000)