Commutative linear logic as a multiple context-free grammar.

Published in: CoRR (2018)

Keyphrases

linear logic
context free grammars
context free languages
decision making
high level
object oriented
fixed point
production rules
grammatical inference
cut elimination
covering arrays