Syntactic theory for bigraphs (2006)

by Troels C Damgaard
Venue:IT University of Copenhagen