Taylor expansion in linear logic is invertible.

Daniel de Carvalho

Published in: CoRR (2017)

Keyphrases

linear logic
logical framework
sequent calculus
proof theoretic
desirable properties
logic programming
fixed point
cut elimination
proof search
intuitionistic logic
computational complexity
data model
probability distribution
multi view
dynamical systems