LNL polycategories and doctrines of linear logic.

Michael Shulman

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

linear logic
fixed point
dispute resolution
logical framework
sequent calculus
proof search
logic programming
proof theoretic
intuitionistic logic
desirable properties
cut elimination
image segmentation
dynamic programming
inference rules