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

Kaustuv Chaudhuri, Giselle Reis

Browse the full LPAR paper archive.