Login / Signup
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.
Kaustuv Chaudhuri
Giselle Reis
Published in:
LPAR (2015)
Keyphrases
</>
linear logic
general purpose
high level
stereo matching
fixed point
proof search