Paul Taylor 0002 Quantitative Domains, Groupoids and Linear Logic. 155-181 1989 conf/ctcs/1989 Category Theory and Computer Science db/conf/ctcs/ctcs89.html#Taylor89