Types and Tokens for Logic with Diagrams.

Frithjof Dau

Browse the full ICCS paper archive.