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