An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.

Kaustuv ChaudhuriGiselle Reis
Published in: LPAR (2015)