John Howse, Fernando Molina, John Taylor, Sun-Joo Shin. Type-syntax and token-syntax in diagrammatic systems. In FOIS. pages 174-185, 2001. [doi]
@inproceedings{HowseMTS01,
title = {Type-syntax and token-syntax in diagrammatic systems},
author = {John Howse and Fernando Molina and John Taylor and Sun-Joo Shin},
year = {2001},
doi = {10.1145/505168.505185},
url = {http://doi.acm.org/10.1145/505168.505185},
tags = {type system},
researchr = {https://researchr.org/publication/HowseMTS01},
cites = {0},
citedby = {0},
pages = {174-185},
booktitle = {FOIS},
}