Login / Signup
Dialectica models of additive-free linear logic.
Jules Hedges
Published in:
CoRR (2014)
Keyphrases
</>
linear logic
probabilistic model
object oriented
knowledge base
np hard