Login / Signup

Constructing Fully Complete Models for Multiplicative Linear Logic.

Andrea SchalkHugh P. Steele
Published in: LICS (2012)
Keyphrases
  • linear logic
  • machine learning
  • artificial intelligence
  • bayesian networks
  • probabilistic model
  • intuitionistic logic