The Expressiveness of Spider Diagrams

Gem Stapleton, John Howse, John Taylor, Simon Thompson. The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14(6):857-880, 2004. [doi]

Abstract

Abstract is missing.