Login / Signup
An introduction to Differential Linear Logic: proof-nets, models and antiderivatives.
Thomas Ehrhard
Published in:
CoRR (2016)
Keyphrases
</>
linear logic
probabilistic model
proof theoretic
fixed point
software engineering
general purpose
sequent calculus
cut elimination