Login / Signup

Order Algebras as Models of Linear Logic.

Constantine TsinakisHan Zhang
Published in: Stud Logica (2004)
Keyphrases
  • linear logic
  • probabilistic model
  • machine learning
  • proof theoretic