An introduction to differential linear logic: proof-nets, models and antiderivatives.

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

linear logic
fixed point
proof search
cut elimination
logic programming
sequent calculus
desirable properties
multi agent
object oriented
general purpose
logical framework
proof theoretic