Login / Signup

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

Kaustuv ChaudhuriGiselle Reis
Published in: LPAR (2015)
Keyphrases
  • linear logic
  • general purpose
  • high level
  • stereo matching
  • fixed point
  • proof search