Martin Wehr Higher-dimensional syntax. 1999 29 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs29.html#Wehr99 http://www.elsevier.nl/locate/entcs/volume29.html