Type Isomorphisms for Multiplicative-Additive Linear Logic.

Rémi Di Guardia Olivier Laurent

Published in: CoRR (2024)

Keyphrases

linear logic
logic programming
cut elimination
proof theoretic
fixed point
proof search
intuitionistic logic
high level
general purpose
desirable properties
artificial intelligence
video sequences
sequent calculus