A categorical reduction system for linear logic.

Published in: CoRR (2019)

Keyphrases

linear logic
fixed point
logic programming
proof theoretic
intuitionistic logic
sequent calculus
desirable properties
categorical data
logical framework
cut elimination
logic programs
video sequences
dynamic programming
attribute values
inference rules