Monoidal bicategories, differential linear logic, and analytic functors.

M. Fiore Nicola Gambino Martin Hyland

Published in: CoRR (2024)

Keyphrases

linear logic
fixed point
proof theoretic
intuitionistic logic
logical framework
cut elimination
sequent calculus
proof search
equational theories
logic programming
desirable properties
artificial intelligence
search space
sufficient conditions
automated reasoning