Login / Signup

Double Categories: A Modular Model of Multiplicative Linear Logic.

Paul-André Melliès
Published in: Math. Struct. Comput. Sci. (2002)
Keyphrases
  • linear logic
  • probabilistic model
  • general purpose
  • proof theoretic