Login / Signup

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic.

Marcelo P. Fiore
Published in: TLCA (2007)
Keyphrases
  • linear logic
  • fixed point
  • cut elimination
  • probabilistic model
  • sequent calculus
  • multiscale
  • logic programming