Type-syntax and token-syntax in diagrammatic systems.

John Howse, Fernando Molina, John Taylor, Sun-Joo Shin

Browse the full FOIS paper archive.